Benchmark

incremental/UFNIA/20190906-CLEARSY/0001/00290.smt2

Benchmark without description.

Benchmark
Size	3787141
Compressed Size	87113
License	Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Category	industrial
First Occurrence	2020-07-06
Generated By	David Deharbe, CLEARSY
Generated On	2019-09-06 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	2324

Query 1

Status	unknown
Inferred Status	None
Size	187051
Compressed Size	26253
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 2

Status	unknown
Inferred Status	None
Size	187123
Compressed Size	26268
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 3

Status	unknown
Inferred Status	None
Size	187142
Compressed Size	26269
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 4

Status	unknown
Inferred Status	None
Size	187161
Compressed Size	26272
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 5

Status	unknown
Inferred Status	None
Size	187232
Compressed Size	26273
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 6

Status	unknown
Inferred Status	None
Size	187563
Compressed Size	26278
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 7

Status	unknown
Inferred Status	None
Size	187582
Compressed Size	26280
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 8

Status	unknown
Inferred Status	None
Size	187601
Compressed Size	26281
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 9

Status	unknown
Inferred Status	None
Size	187620
Compressed Size	26283
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 10

Status	unknown
Inferred Status	None
Size	187640
Compressed Size	26287
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 11

Status	unknown
Inferred Status	None
Size	194834
Compressed Size	27179
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
exists	1	Int	6	div	1	+	1
-	10	<	4	<=	3	>	1
>=	16

Query 12

Status	unknown
Inferred Status	None
Size	194823
Compressed Size	27169
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 13

Status	unknown
Inferred Status	None
Size	194841
Compressed Size	27165
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 14

Status	unknown
Inferred Status	None
Size	194856
Compressed Size	27169
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 15

Status	unknown
Inferred Status	None
Size	194875
Compressed Size	27171
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 16

Status	unknown
Inferred Status	None
Size	194903
Compressed Size	27174
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 17

Status	unknown
Inferred Status	None
Size	195038
Compressed Size	27197
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 18

Status	unknown
Inferred Status	None
Size	195241
Compressed Size	27224
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 19

Status	unknown
Inferred Status	None
Size	202151
Compressed Size	28180
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 20

Status	unknown
Inferred Status	None
Size	202526
Compressed Size	28276
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 21

Status	unknown
Inferred Status	None
Size	202842
Compressed Size	28364
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 22

Status	unknown
Inferred Status	None
Size	202980
Compressed Size	28384
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 23

Status	unknown
Inferred Status	None
Size	203349
Compressed Size	28445
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 24

Status	unknown
Inferred Status	None
Size	203501
Compressed Size	28467
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 25

Status	unknown
Inferred Status	None
Size	203653
Compressed Size	28500
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 26

Status	unknown
Inferred Status	None
Size	203815
Compressed Size	28506
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 27

Status	unknown
Inferred Status	None
Size	203733
Compressed Size	28511
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 28

Status	unknown
Inferred Status	None
Size	203788
Compressed Size	28517
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	12	-	11
<	4	<=	3	>	1	>=	16

Query 29

Status	unknown
Inferred Status	None
Size	203851
Compressed Size	28546
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
exists	1	Int	6	div	1	+	11
-	11	<	4	<=	3	>	1
>=	16

Query 30

Status	unknown
Inferred Status	None
Size	203850
Compressed Size	28531
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 31

Status	unknown
Inferred Status	None
Size	203870
Compressed Size	28533
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 32

Status	unknown
Inferred Status	None
Size	203890
Compressed Size	28537
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 33

Status	unknown
Inferred Status	None
Size	203910
Compressed Size	28539
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 34

Status	unknown
Inferred Status	None
Size	203930
Compressed Size	28542
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 35

Status	unknown
Inferred Status	None
Size	203950
Compressed Size	28545
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 36

Status	unknown
Inferred Status	None
Size	203970
Compressed Size	28548
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 37

Status	unknown
Inferred Status	None
Size	203990
Compressed Size	28551
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 38

Status	unknown
Inferred Status	None
Size	204010
Compressed Size	28552
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 39

Status	unknown
Inferred Status	None
Size	204030
Compressed Size	28555
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 40

Status	unknown
Inferred Status	None
Size	204050
Compressed Size	28556
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 41

Status	unknown
Inferred Status	None
Size	204070
Compressed Size	28558
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 42

Status	unknown
Inferred Status	None
Size	204090
Compressed Size	28561
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 43

Status	unknown
Inferred Status	None
Size	204110
Compressed Size	28563
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 44

Status	unknown
Inferred Status	None
Size	204130
Compressed Size	28564
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 45

Status	unknown
Inferred Status	None
Size	204150
Compressed Size	28566
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 46

Status	unknown
Inferred Status	None
Size	204170
Compressed Size	28566
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 47

Status	unknown
Inferred Status	None
Size	204190
Compressed Size	28568
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 48

Status	unknown
Inferred Status	None
Size	204210
Compressed Size	28570
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 49

Status	unknown
Inferred Status	None
Size	204230
Compressed Size	28571
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 50

Status	unknown
Inferred Status	None
Size	204250
Compressed Size	28573
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 51

Status	unknown
Inferred Status	None
Size	204270
Compressed Size	28575
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 52

Status	unknown
Inferred Status	None
Size	204290
Compressed Size	28577
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 53

Status	unknown
Inferred Status	None
Size	204310
Compressed Size	28580
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 54

Status	unknown
Inferred Status	None
Size	204330
Compressed Size	28581
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 55

Status	unknown
Inferred Status	None
Size	204350
Compressed Size	28582
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 56

Status	unknown
Inferred Status	None
Size	204370
Compressed Size	28583
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 57

Status	unknown
Inferred Status	None
Size	204390
Compressed Size	28585
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 58

Status	unknown
Inferred Status	None
Size	204410
Compressed Size	28586
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 59

Status	unknown
Inferred Status	None
Size	204430
Compressed Size	28587
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 60

Status	unknown
Inferred Status	None
Size	204450
Compressed Size	28589
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 61

Status	unknown
Inferred Status	None
Size	204470
Compressed Size	28590
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 62

Status	unknown
Inferred Status	None
Size	204490
Compressed Size	28593
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 63

Status	unknown
Inferred Status	None
Size	204510
Compressed Size	28595
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 64

Status	unknown
Inferred Status	None
Size	204530
Compressed Size	28596
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 65

Status	unknown
Inferred Status	None
Size	204550
Compressed Size	28598
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 66

Status	unknown
Inferred Status	None
Size	204570
Compressed Size	28597
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 67

Status	unknown
Inferred Status	None
Size	204590
Compressed Size	28599
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 68

Status	unknown
Inferred Status	None
Size	204610
Compressed Size	28600
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 69

Status	unknown
Inferred Status	None
Size	204630
Compressed Size	28602
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 70

Status	unknown
Inferred Status	None
Size	204650
Compressed Size	28604
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 71

Status	unknown
Inferred Status	None
Size	204670
Compressed Size	28606
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 72

Status	unknown
Inferred Status	None
Size	204690
Compressed Size	28607
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 73

Status	unknown
Inferred Status	None
Size	204710
Compressed Size	28608
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 74

Status	unknown
Inferred Status	None
Size	204730
Compressed Size	28611
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 75

Status	unknown
Inferred Status	None
Size	204750
Compressed Size	28612
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 76

Status	unknown
Inferred Status	None
Size	204770
Compressed Size	28613
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 77

Status	unknown
Inferred Status	None
Size	204790
Compressed Size	28615
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 78

Status	unknown
Inferred Status	None
Size	204810
Compressed Size	28617
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 79

Status	unknown
Inferred Status	None
Size	204830
Compressed Size	28619
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 80

Status	unknown
Inferred Status	None
Size	204850
Compressed Size	28621
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 81

Status	unknown
Inferred Status	None
Size	204870
Compressed Size	28622
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 82

Status	unknown
Inferred Status	None
Size	204890
Compressed Size	28623
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 83

Status	unknown
Inferred Status	None
Size	204910
Compressed Size	28624
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 84

Status	unknown
Inferred Status	None
Size	204930
Compressed Size	28626
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 85

Status	unknown
Inferred Status	None
Size	204950
Compressed Size	28627
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 86

Status	unknown
Inferred Status	None
Size	204970
Compressed Size	28628
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 87

Status	unknown
Inferred Status	None
Size	204990
Compressed Size	28628
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 88

Status	unknown
Inferred Status	None
Size	205010
Compressed Size	28629
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 89

Status	unknown
Inferred Status	None
Size	205030
Compressed Size	28632
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 90

Status	unknown
Inferred Status	None
Size	205050
Compressed Size	28634
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 91

Status	unknown
Inferred Status	None
Size	205070
Compressed Size	28636
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 92

Status	unknown
Inferred Status	None
Size	205090
Compressed Size	28637
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 93

Status	unknown
Inferred Status	None
Size	205110
Compressed Size	28639
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 94

Status	unknown
Inferred Status	None
Size	205130
Compressed Size	28639
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 95

Status	unknown
Inferred Status	None
Size	205150
Compressed Size	28640
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 96

Status	unknown
Inferred Status	None
Size	205170
Compressed Size	28642
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 97

Status	unknown
Inferred Status	None
Size	205190
Compressed Size	28643
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 98

Status	unknown
Inferred Status	None
Size	205210
Compressed Size	28645
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 99

Status	unknown
Inferred Status	None
Size	205230
Compressed Size	28647
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16

Query 100

Status	unknown
Inferred Status	None
Size	205250
Compressed Size	28648
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	245
Declared Datatypes	0

Symbols

true	5	Bool	245	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	11	-	11
<	4	<=	3	>	1	>=	16