Benchmark

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

Benchmark without description.

Benchmark
Size	176306
Compressed Size	18482
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	121

Query 1

Status	unknown
Inferred Status	None
Size	94050
Compressed Size	14931
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	69	or	1
and	7	=>	4	=	644	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 2

Status	unknown
Inferred Status	None
Size	94096
Compressed Size	14944
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	69	or	1
and	7	=>	4	=	644	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 3

Status	unknown
Inferred Status	None
Size	94111
Compressed Size	14939
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	69	or	1
and	7	=>	4	=	644	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 4

Status	unknown
Inferred Status	None
Size	102404
Compressed Size	15863
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 5

Status	unknown
Inferred Status	None
Size	102420
Compressed Size	15877
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 6

Status	unknown
Inferred Status	None
Size	102472
Compressed Size	15890
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 7

Status	unknown
Inferred Status	None
Size	102491
Compressed Size	15890
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 8

Status	unknown
Inferred Status	None
Size	102497
Compressed Size	15897
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 9

Status	unknown
Inferred Status	None
Size	102562
Compressed Size	15910
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 10

Status	unknown
Inferred Status	None
Size	102568
Compressed Size	15920
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 11

Status	unknown
Inferred Status	None
Size	102618
Compressed Size	15921
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 12

Status	unknown
Inferred Status	None
Size	102637
Compressed Size	15921
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 13

Status	unknown
Inferred Status	None
Size	102644
Compressed Size	15932
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 14

Status	unknown
Inferred Status	None
Size	102713
Compressed Size	15937
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 15

Status	unknown
Inferred Status	None
Size	102720
Compressed Size	15946
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 16

Status	unknown
Inferred Status	None
Size	102771
Compressed Size	15951
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 17

Status	unknown
Inferred Status	None
Size	102791
Compressed Size	15952
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 18

Status	unknown
Inferred Status	None
Size	102798
Compressed Size	15964
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 19

Status	unknown
Inferred Status	None
Size	102867
Compressed Size	15968
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 20

Status	unknown
Inferred Status	None
Size	102875
Compressed Size	15981
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 21

Status	unknown
Inferred Status	None
Size	102925
Compressed Size	15986
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 22

Status	unknown
Inferred Status	None
Size	102945
Compressed Size	15989
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 23

Status	unknown
Inferred Status	None
Size	102953
Compressed Size	15997
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 24

Status	unknown
Inferred Status	None
Size	103021
Compressed Size	16000
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 25

Status	unknown
Inferred Status	None
Size	103029
Compressed Size	16008
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 26

Status	unknown
Inferred Status	None
Size	103079
Compressed Size	16013
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 27

Status	unknown
Inferred Status	None
Size	103099
Compressed Size	16012
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 28

Status	unknown
Inferred Status	None
Size	103107
Compressed Size	16018
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 29

Status	unknown
Inferred Status	None
Size	103175
Compressed Size	16022
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 30

Status	unknown
Inferred Status	None
Size	103183
Compressed Size	16030
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 31

Status	unknown
Inferred Status	None
Size	103233
Compressed Size	16033
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 32

Status	unknown
Inferred Status	None
Size	103253
Compressed Size	16033
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 33

Status	unknown
Inferred Status	None
Size	103261
Compressed Size	16034
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 34

Status	unknown
Inferred Status	None
Size	103329
Compressed Size	16045
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 35

Status	unknown
Inferred Status	None
Size	103337
Compressed Size	16049
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 36

Status	unknown
Inferred Status	None
Size	103387
Compressed Size	16052
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 37

Status	unknown
Inferred Status	None
Size	103407
Compressed Size	16053
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 38

Status	unknown
Inferred Status	None
Size	103415
Compressed Size	16059
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 39

Status	unknown
Inferred Status	None
Size	103483
Compressed Size	16067
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 40

Status	unknown
Inferred Status	None
Size	103491
Compressed Size	16076
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 41

Status	unknown
Inferred Status	None
Size	103541
Compressed Size	16076
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 42

Status	unknown
Inferred Status	None
Size	103561
Compressed Size	16076
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 43

Status	unknown
Inferred Status	None
Size	103569
Compressed Size	16084
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 44

Status	unknown
Inferred Status	None
Size	103637
Compressed Size	16090
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 45

Status	unknown
Inferred Status	None
Size	103645
Compressed Size	16098
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 46

Status	unknown
Inferred Status	None
Size	103695
Compressed Size	16098
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 47

Status	unknown
Inferred Status	None
Size	103715
Compressed Size	16099
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 48

Status	unknown
Inferred Status	None
Size	103723
Compressed Size	16107
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 49

Status	unknown
Inferred Status	None
Size	103791
Compressed Size	16112
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 50

Status	unknown
Inferred Status	None
Size	103799
Compressed Size	16119
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 51

Status	unknown
Inferred Status	None
Size	103850
Compressed Size	16121
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 52

Status	unknown
Inferred Status	None
Size	103870
Compressed Size	16122
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 53

Status	unknown
Inferred Status	None
Size	103877
Compressed Size	16128
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 54

Status	unknown
Inferred Status	None
Size	103946
Compressed Size	16134
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 55

Status	unknown
Inferred Status	None
Size	103953
Compressed Size	16143
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 56

Status	unknown
Inferred Status	None
Size	104004
Compressed Size	16144
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 57

Status	unknown
Inferred Status	None
Size	104024
Compressed Size	16146
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 58

Status	unknown
Inferred Status	None
Size	104031
Compressed Size	16151
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 59

Status	unknown
Inferred Status	None
Size	104103
Compressed Size	16162
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 60

Status	unknown
Inferred Status	None
Size	104110
Compressed Size	16171
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 61

Status	unknown
Inferred Status	None
Size	104164
Compressed Size	16178
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 62

Status	unknown
Inferred Status	None
Size	104184
Compressed Size	16181
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 63

Status	unknown
Inferred Status	None
Size	104191
Compressed Size	16187
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 64

Status	unknown
Inferred Status	None
Size	104266
Compressed Size	16201
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 65

Status	unknown
Inferred Status	None
Size	104273
Compressed Size	16210
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 66

Status	unknown
Inferred Status	None
Size	104327
Compressed Size	16215
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 67

Status	unknown
Inferred Status	None
Size	104347
Compressed Size	16215
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 68

Status	unknown
Inferred Status	None
Size	104354
Compressed Size	16222
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 69

Status	unknown
Inferred Status	None
Size	104429
Compressed Size	16220
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 70

Status	unknown
Inferred Status	None
Size	104436
Compressed Size	16229
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 71

Status	unknown
Inferred Status	None
Size	104490
Compressed Size	16233
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 72

Status	unknown
Inferred Status	None
Size	104510
Compressed Size	16232
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 73

Status	unknown
Inferred Status	None
Size	104517
Compressed Size	16240
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 74

Status	unknown
Inferred Status	None
Size	104592
Compressed Size	16242
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 75

Status	unknown
Inferred Status	None
Size	104599
Compressed Size	16251
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 76

Status	unknown
Inferred Status	None
Size	104653
Compressed Size	16251
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 77

Status	unknown
Inferred Status	None
Size	104673
Compressed Size	16250
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 78

Status	unknown
Inferred Status	None
Size	104680
Compressed Size	16261
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 79

Status	unknown
Inferred Status	None
Size	104755
Compressed Size	16262
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 80

Status	unknown
Inferred Status	None
Size	104762
Compressed Size	16272
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 81

Status	unknown
Inferred Status	None
Size	104816
Compressed Size	16274
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 82

Status	unknown
Inferred Status	None
Size	104836
Compressed Size	16273
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 83

Status	unknown
Inferred Status	None
Size	104843
Compressed Size	16277
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	34	-	9
<	4	<=	2	>	1	>=	10

Query 84

Status	unknown
Inferred Status	None
Size	104907
Compressed Size	16285
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 85

Status	unknown
Inferred Status	None
Size	104927
Compressed Size	16286
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 86

Status	unknown
Inferred Status	None
Size	104947
Compressed Size	16287
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 87

Status	unknown
Inferred Status	None
Size	104967
Compressed Size	16290
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 88

Status	unknown
Inferred Status	None
Size	104987
Compressed Size	16291
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 89

Status	unknown
Inferred Status	None
Size	105007
Compressed Size	16293
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 90

Status	unknown
Inferred Status	None
Size	105027
Compressed Size	16296
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 91

Status	unknown
Inferred Status	None
Size	105047
Compressed Size	16297
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 92

Status	unknown
Inferred Status	None
Size	105067
Compressed Size	16299
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 93

Status	unknown
Inferred Status	None
Size	105088
Compressed Size	16301
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 94

Status	unknown
Inferred Status	None
Size	105108
Compressed Size	16300
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 95

Status	unknown
Inferred Status	None
Size	105128
Compressed Size	16301
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 96

Status	unknown
Inferred Status	None
Size	105148
Compressed Size	16302
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 97

Status	unknown
Inferred Status	None
Size	105168
Compressed Size	16304
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 98

Status	unknown
Inferred Status	None
Size	105188
Compressed Size	16307
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 99

Status	unknown
Inferred Status	None
Size	105208
Compressed Size	16306
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10

Query 100

Status	unknown
Inferred Status	None
Size	105238
Compressed Size	16306
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	159
Declared Datatypes	0

Symbols

true	6	Bool	159	not	69	or	1
and	7	=>	4	=	643	forall	2
Int	2	div	1	+	33	-	9
<	4	<=	2	>	1	>=	10