Benchmark

incremental/UFNIA/20190906-CLEARSY/0002/00326.smt2

Benchmark without description.

Benchmark
Size	273926
Compressed Size	37704
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	132

Query 1

Status	unknown
Inferred Status	None
Size	244938
Compressed Size	35672
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 2

Status	unknown
Inferred Status	None
Size	244999
Compressed Size	35695
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 3

Status	unknown
Inferred Status	None
Size	244995
Compressed Size	35682
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	168	>	8
>=	126

Query 4

Status	unknown
Inferred Status	None
Size	244994
Compressed Size	35683
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 5

Status	unknown
Inferred Status	None
Size	245018
Compressed Size	35684
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 6

Status	unknown
Inferred Status	None
Size	245039
Compressed Size	35685
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 7

Status	unknown
Inferred Status	None
Size	245058
Compressed Size	35689
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 8

Status	unknown
Inferred Status	None
Size	245077
Compressed Size	35691
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 9

Status	unknown
Inferred Status	None
Size	245114
Compressed Size	35697
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 10

Status	unknown
Inferred Status	None
Size	245130
Compressed Size	35701
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 11

Status	unknown
Inferred Status	None
Size	245195
Compressed Size	35716
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 12

Status	unknown
Inferred Status	None
Size	245181
Compressed Size	35710
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 13

Status	unknown
Inferred Status	None
Size	245199
Compressed Size	35713
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 14

Status	unknown
Inferred Status	None
Size	245219
Compressed Size	35714
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 15

Status	unknown
Inferred Status	None
Size	245259
Compressed Size	35719
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 16

Status	unknown
Inferred Status	None
Size	245281
Compressed Size	35720
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 17

Status	unknown
Inferred Status	None
Size	245308
Compressed Size	35725
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 18

Status	unknown
Inferred Status	None
Size	245328
Compressed Size	35734
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 19

Status	unknown
Inferred Status	None
Size	245350
Compressed Size	35733
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 20

Status	unknown
Inferred Status	None
Size	245347
Compressed Size	35732
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 21

Status	unknown
Inferred Status	None
Size	245393
Compressed Size	35731
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 22

Status	unknown
Inferred Status	None
Size	245428
Compressed Size	35738
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 23

Status	unknown
Inferred Status	None
Size	245444
Compressed Size	35739
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 24

Status	unknown
Inferred Status	None
Size	245037
Compressed Size	35693
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 25

Status	unknown
Inferred Status	None
Size	245071
Compressed Size	35715
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 26

Status	unknown
Inferred Status	None
Size	245067
Compressed Size	35704
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	168	>	8
>=	126

Query 27

Status	unknown
Inferred Status	None
Size	245066
Compressed Size	35705
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 28

Status	unknown
Inferred Status	None
Size	245090
Compressed Size	35706
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 29

Status	unknown
Inferred Status	None
Size	245111
Compressed Size	35707
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 30

Status	unknown
Inferred Status	None
Size	245130
Compressed Size	35709
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 31

Status	unknown
Inferred Status	None
Size	245149
Compressed Size	35711
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 32

Status	unknown
Inferred Status	None
Size	245186
Compressed Size	35717
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 33

Status	unknown
Inferred Status	None
Size	245202
Compressed Size	35721
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 34

Status	unknown
Inferred Status	None
Size	245267
Compressed Size	35737
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 35

Status	unknown
Inferred Status	None
Size	245253
Compressed Size	35730
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 36

Status	unknown
Inferred Status	None
Size	245271
Compressed Size	35732
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 37

Status	unknown
Inferred Status	None
Size	245291
Compressed Size	35734
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 38

Status	unknown
Inferred Status	None
Size	245331
Compressed Size	35739
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 39

Status	unknown
Inferred Status	None
Size	245353
Compressed Size	35740
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 40

Status	unknown
Inferred Status	None
Size	245380
Compressed Size	35745
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 41

Status	unknown
Inferred Status	None
Size	245400
Compressed Size	35754
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 42

Status	unknown
Inferred Status	None
Size	245422
Compressed Size	35753
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 43

Status	unknown
Inferred Status	None
Size	245419
Compressed Size	35753
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 44

Status	unknown
Inferred Status	None
Size	245465
Compressed Size	35751
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 45

Status	unknown
Inferred Status	None
Size	245500
Compressed Size	35758
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 46

Status	unknown
Inferred Status	None
Size	245516
Compressed Size	35761
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 47

Status	unknown
Inferred Status	None
Size	245052
Compressed Size	35696
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 48

Status	unknown
Inferred Status	None
Size	245086
Compressed Size	35717
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 49

Status	unknown
Inferred Status	None
Size	245082
Compressed Size	35706
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	168	>	8
>=	126

Query 50

Status	unknown
Inferred Status	None
Size	245081
Compressed Size	35707
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 51

Status	unknown
Inferred Status	None
Size	245105
Compressed Size	35708
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 52

Status	unknown
Inferred Status	None
Size	245126
Compressed Size	35709
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 53

Status	unknown
Inferred Status	None
Size	245145
Compressed Size	35711
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 54

Status	unknown
Inferred Status	None
Size	245164
Compressed Size	35712
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	168	>	8
>=	126

Query 55

Status	unknown
Inferred Status	None
Size	245201
Compressed Size	35719
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 56

Status	unknown
Inferred Status	None
Size	245217
Compressed Size	35723
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 57

Status	unknown
Inferred Status	None
Size	245282
Compressed Size	35739
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 58

Status	unknown
Inferred Status	None
Size	245268
Compressed Size	35731
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 59

Status	unknown
Inferred Status	None
Size	245286
Compressed Size	35733
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 60

Status	unknown
Inferred Status	None
Size	245306
Compressed Size	35736
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 61

Status	unknown
Inferred Status	None
Size	245346
Compressed Size	35740
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 62

Status	unknown
Inferred Status	None
Size	245368
Compressed Size	35742
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 63

Status	unknown
Inferred Status	None
Size	245395
Compressed Size	35747
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 64

Status	unknown
Inferred Status	None
Size	245415
Compressed Size	35757
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 65

Status	unknown
Inferred Status	None
Size	245437
Compressed Size	35755
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 66

Status	unknown
Inferred Status	None
Size	245434
Compressed Size	35754
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 67

Status	unknown
Inferred Status	None
Size	245480
Compressed Size	35753
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 68

Status	unknown
Inferred Status	None
Size	245515
Compressed Size	35761
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 69

Status	unknown
Inferred Status	None
Size	245531
Compressed Size	35762
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1238	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 70

Status	unknown
Inferred Status	None
Size	245343
Compressed Size	35745
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	204	=>	73	=	1240	forall	57
Int	123	div	1	+	6	-	64
*	9	<	1	<=	167	>	8
>=	125

Query 71

Status	unknown
Inferred Status	None
Size	245296
Compressed Size	35746
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	205	=>	73	=	1239	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	168	>	8
>=	126

Query 72

Status	unknown
Inferred Status	None
Size	245347
Compressed Size	35752
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	206	=>	73	=	1239	forall	57
Int	123	div	1	+	6	-	66
*	9	<	1	<=	169	>	8
>=	127

Query 73

Status	unknown
Inferred Status	None
Size	245537
Compressed Size	35778
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	206	=>	73	=	1240	forall	57
Int	123	div	1	+	6	-	66
*	9	<	1	<=	169	>	8
>=	127

Query 74

Status	unknown
Inferred Status	None
Size	247158
Compressed Size	36003
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 75

Status	unknown
Inferred Status	None
Size	247173
Compressed Size	36000
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 76

Status	unknown
Inferred Status	None
Size	247202
Compressed Size	36012
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 77

Status	unknown
Inferred Status	None
Size	247217
Compressed Size	36008
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 78

Status	unknown
Inferred Status	None
Size	247244
Compressed Size	36023
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 79

Status	unknown
Inferred Status	None
Size	247263
Compressed Size	36024
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 80

Status	unknown
Inferred Status	None
Size	247276
Compressed Size	36016
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 81

Status	unknown
Inferred Status	None
Size	247306
Compressed Size	36034
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 82

Status	unknown
Inferred Status	None
Size	247326
Compressed Size	36030
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 83

Status	unknown
Inferred Status	None
Size	247345
Compressed Size	36038
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 84

Status	unknown
Inferred Status	None
Size	247366
Compressed Size	36037
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 85

Status	unknown
Inferred Status	None
Size	247379
Compressed Size	36034
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 86

Status	unknown
Inferred Status	None
Size	247400
Compressed Size	36033
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 87

Status	unknown
Inferred Status	None
Size	247430
Compressed Size	36053
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 88

Status	unknown
Inferred Status	None
Size	247450
Compressed Size	36058
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 89

Status	unknown
Inferred Status	None
Size	247471
Compressed Size	36058
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 90

Status	unknown
Inferred Status	None
Size	247490
Compressed Size	36063
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 91

Status	unknown
Inferred Status	None
Size	247510
Compressed Size	36065
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 92

Status	unknown
Inferred Status	None
Size	247531
Compressed Size	36066
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 93

Status	unknown
Inferred Status	None
Size	247580
Compressed Size	36075
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 94

Status	unknown
Inferred Status	None
Size	247669
Compressed Size	36072
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 95

Status	unknown
Inferred Status	None
Size	247615
Compressed Size	36074
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 96

Status	unknown
Inferred Status	None
Size	247604
Compressed Size	36065
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 97

Status	unknown
Inferred Status	None
Size	247625
Compressed Size	36066
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 98

Status	unknown
Inferred Status	None
Size	247696
Compressed Size	36072
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 99

Status	unknown
Inferred Status	None
Size	247675
Compressed Size	36085
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125

Query 100

Status	unknown
Inferred Status	None
Size	247696
Compressed Size	36086
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2212
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	140	or	2
and	209	=>	75	=	1248	forall	57
Int	123	div	1	+	6	-	65
*	9	<	1	<=	167	>	8
>=	125