Benchmark

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

Benchmark without description.

Benchmark
Size	188169
Compressed Size	24889
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	127

Query 1

Status	unknown
Inferred Status	None
Size	131293
Compressed Size	20321
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	87	or	1
and	95	=>	134	=	783	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 2

Status	unknown
Inferred Status	None
Size	131336
Compressed Size	20332
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	87	or	1
and	95	=>	134	=	783	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 3

Status	unknown
Inferred Status	None
Size	131355
Compressed Size	20335
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	87	or	1
and	95	=>	134	=	783	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 4

Status	unknown
Inferred Status	None
Size	134518
Compressed Size	20848
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 5

Status	unknown
Inferred Status	None
Size	134536
Compressed Size	20859
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	42
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 6

Status	unknown
Inferred Status	None
Size	134555
Compressed Size	20862
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	42
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 7

Status	unknown
Inferred Status	None
Size	134701
Compressed Size	20895
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 8

Status	unknown
Inferred Status	None
Size	134720
Compressed Size	20895
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 9

Status	unknown
Inferred Status	None
Size	134739
Compressed Size	20900
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 10

Status	unknown
Inferred Status	None
Size	134756
Compressed Size	20904
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	42
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 11

Status	unknown
Inferred Status	None
Size	134837
Compressed Size	20917
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 12

Status	unknown
Inferred Status	None
Size	134924
Compressed Size	20941
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 13

Status	unknown
Inferred Status	None
Size	134902
Compressed Size	20936
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	796	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 14

Status	unknown
Inferred Status	None
Size	134895
Compressed Size	20923
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	797	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 15

Status	unknown
Inferred Status	None
Size	134921
Compressed Size	20929
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	797	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 16

Status	unknown
Inferred Status	None
Size	134953
Compressed Size	20934
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	87	or	2
and	96	=>	139	=	797	forall	125
exists	8	Int	199	div	4	+	41
-	32	*	5	<	5	<=	55
>	7	>=	33

Query 17

Status	unknown
Inferred Status	None
Size	131628
Compressed Size	20434
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	87	or	1
and	96	=>	134	=	785	forall	124
exists	9	Int	200	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 18

Status	unknown
Inferred Status	None
Size	131542
Compressed Size	20408
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	87	or	1
and	95	=>	134	=	785	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 19

Status	unknown
Inferred Status	None
Size	131558
Compressed Size	20408
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	87	or	1
and	95	=>	134	=	785	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 20

Status	unknown
Inferred Status	None
Size	131577
Compressed Size	20405
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	87	or	1
and	95	=>	134	=	785	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 21

Status	unknown
Inferred Status	None
Size	136672
Compressed Size	21178
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 22

Status	unknown
Inferred Status	None
Size	136786
Compressed Size	21197
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	64
>	5	>=	38

Query 23

Status	unknown
Inferred Status	None
Size	136776
Compressed Size	21203
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 24

Status	unknown
Inferred Status	None
Size	136793
Compressed Size	21208
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 25

Status	unknown
Inferred Status	None
Size	136860
Compressed Size	21222
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	90	or	1
and	101	=>	141	=	812	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 26

Status	unknown
Inferred Status	None
Size	136863
Compressed Size	21218
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 27

Status	unknown
Inferred Status	None
Size	136882
Compressed Size	21224
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 28

Status	unknown
Inferred Status	None
Size	136928
Compressed Size	21220
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 29

Status	unknown
Inferred Status	None
Size	136920
Compressed Size	21221
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 30

Status	unknown
Inferred Status	None
Size	136964
Compressed Size	21236
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	6	>=	38

Query 31

Status	unknown
Inferred Status	None
Size	136983
Compressed Size	21228
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 32

Status	unknown
Inferred Status	None
Size	137022
Compressed Size	21237
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	812	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 33

Status	unknown
Inferred Status	None
Size	137135
Compressed Size	21253
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	812	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	7	>=	38

Query 34

Status	unknown
Inferred Status	None
Size	137137
Compressed Size	21260
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	34	*	5	<	5	<=	64
>	5	>=	38

Query 35

Status	unknown
Inferred Status	None
Size	137130
Compressed Size	21263
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 36

Status	unknown
Inferred Status	None
Size	137147
Compressed Size	21263
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	42
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 37

Status	unknown
Inferred Status	None
Size	137200
Compressed Size	21271
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 38

Status	unknown
Inferred Status	None
Size	137242
Compressed Size	21274
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	42
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 39

Status	unknown
Inferred Status	None
Size	137265
Compressed Size	21280
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	812	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 40

Status	unknown
Inferred Status	None
Size	137305
Compressed Size	21294
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 41

Status	unknown
Inferred Status	None
Size	137327
Compressed Size	21300
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 42

Status	unknown
Inferred Status	None
Size	137381
Compressed Size	21303
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 43

Status	unknown
Inferred Status	None
Size	137374
Compressed Size	21301
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 44

Status	unknown
Inferred Status	None
Size	137418
Compressed Size	21314
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	6	>=	38

Query 45

Status	unknown
Inferred Status	None
Size	137456
Compressed Size	21314
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	812	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	5	>=	38

Query 46

Status	unknown
Inferred Status	None
Size	137569
Compressed Size	21330
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	812	forall	127
exists	8	Int	201	div	4	+	41
-	33	*	5	<	5	<=	63
>	7	>=	38

Query 47

Status	unknown
Inferred Status	None
Size	137542
Compressed Size	21323
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	6	Bool	75	not	89	or	1
and	101	=>	141	=	811	forall	127
exists	8	Int	201	div	4	+	41
-	35	*	5	<	6	<=	63
>	5	>=	38

Query 48

Status	unknown
Inferred Status	None
Size	134575
Compressed Size	20862
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 49

Status	unknown
Inferred Status	None
Size	134594
Compressed Size	20864
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 50

Status	unknown
Inferred Status	None
Size	134613
Compressed Size	20865
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 51

Status	unknown
Inferred Status	None
Size	134629
Compressed Size	20874
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	40
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 52

Status	unknown
Inferred Status	None
Size	134765
Compressed Size	20894
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 53

Status	unknown
Inferred Status	None
Size	134784
Compressed Size	20896
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 54

Status	unknown
Inferred Status	None
Size	134800
Compressed Size	20903
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	40
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 55

Status	unknown
Inferred Status	None
Size	134845
Compressed Size	20904
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 56

Status	unknown
Inferred Status	None
Size	134899
Compressed Size	20910
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 57

Status	unknown
Inferred Status	None
Size	134918
Compressed Size	20918
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 58

Status	unknown
Inferred Status	None
Size	134945
Compressed Size	20919
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 59

Status	unknown
Inferred Status	None
Size	134967
Compressed Size	20922
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	or	1
and	95	=>	134	=	800	forall	124
exists	8	Int	198	div	4	+	39
-	32	*	5	<	5	<=	56
>	3	>=	34

Query 60

Status	unknown
Inferred Status	None
Size	132742
Compressed Size	20597
Max. Term Depth	34
Asserts	26
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	87	or	1
and	95	=>	135	=	786	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 61

Status	unknown
Inferred Status	None
Size	132738
Compressed Size	20598
Max. Term Depth	34
Asserts	26
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	87	or	1
and	95	=>	135	=	786	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 62

Status	unknown
Inferred Status	None
Size	132788
Compressed Size	20602
Max. Term Depth	34
Asserts	26
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	87	or	1
and	95	=>	135	=	786	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 63

Status	unknown
Inferred Status	None
Size	132883
Compressed Size	20615
Max. Term Depth	34
Asserts	26
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	87	or	1
and	95	=>	135	=	786	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 64

Status	unknown
Inferred Status	None
Size	132490
Compressed Size	20559
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 65

Status	unknown
Inferred Status	None
Size	132482
Compressed Size	20559
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 66

Status	unknown
Inferred Status	None
Size	132528
Compressed Size	20571
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 67

Status	unknown
Inferred Status	None
Size	132553
Compressed Size	20570
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 68

Status	unknown
Inferred Status	None
Size	132572
Compressed Size	20571
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 69

Status	unknown
Inferred Status	None
Size	132564
Compressed Size	20569
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 70

Status	unknown
Inferred Status	None
Size	132583
Compressed Size	20571
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 71

Status	unknown
Inferred Status	None
Size	132644
Compressed Size	20583
Max. Term Depth	34
Asserts	25
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	87	or	1
and	95	=>	135	=	787	forall	124
exists	8	Int	198	div	4	+	36
-	32	*	5	<	5	<=	55
>	3	>=	33

Query 72

Status	unknown
Inferred Status	None
Size	134444
Compressed Size	20814
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	101	=>	139	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 73

Status	unknown
Inferred Status	None
Size	134440
Compressed Size	20813
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	101	=>	139	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 74

Status	unknown
Inferred Status	None
Size	134505
Compressed Size	20818
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	101	=>	139	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 75

Status	unknown
Inferred Status	None
Size	134511
Compressed Size	20826
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	101	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 76

Status	unknown
Inferred Status	None
Size	134507
Compressed Size	20818
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	101	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 77

Status	unknown
Inferred Status	None
Size	134572
Compressed Size	20828
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	101	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 78

Status	unknown
Inferred Status	None
Size	134576
Compressed Size	20828
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 79

Status	unknown
Inferred Status	None
Size	134598
Compressed Size	20839
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 80

Status	unknown
Inferred Status	None
Size	134594
Compressed Size	20830
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 81

Status	unknown
Inferred Status	None
Size	134715
Compressed Size	20845
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 82

Status	unknown
Inferred Status	None
Size	134720
Compressed Size	20846
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 83

Status	unknown
Inferred Status	None
Size	134719
Compressed Size	20845
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 84

Status	unknown
Inferred Status	None
Size	134699
Compressed Size	20841
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 85

Status	unknown
Inferred Status	None
Size	134722
Compressed Size	20856
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 86

Status	unknown
Inferred Status	None
Size	134719
Compressed Size	20850
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 87

Status	unknown
Inferred Status	None
Size	134840
Compressed Size	20863
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 88

Status	unknown
Inferred Status	None
Size	134845
Compressed Size	20864
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 89

Status	unknown
Inferred Status	None
Size	134844
Compressed Size	20862
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 90

Status	unknown
Inferred Status	None
Size	134903
Compressed Size	20902
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 91

Status	unknown
Inferred Status	None
Size	134900
Compressed Size	20896
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 92

Status	unknown
Inferred Status	None
Size	134949
Compressed Size	20907
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 93

Status	unknown
Inferred Status	None
Size	134946
Compressed Size	20902
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 94

Status	unknown
Inferred Status	None
Size	135007
Compressed Size	20915
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 95

Status	unknown
Inferred Status	None
Size	135027
Compressed Size	20905
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 96

Status	unknown
Inferred Status	None
Size	135024
Compressed Size	20910
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 97

Status	unknown
Inferred Status	None
Size	135130
Compressed Size	20920
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 98

Status	unknown
Inferred Status	None
Size	135093
Compressed Size	20921
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 99

Status	unknown
Inferred Status	None
Size	135090
Compressed Size	20914
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39

Query 100

Status	unknown
Inferred Status	None
Size	135139
Compressed Size	20925
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1346
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	89	or	1
and	102	=>	140	=	794	forall	127
exists	8	Int	201	div	4	+	38
-	34	*	5	<	5	<=	64
>	5	>=	39