Benchmark

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

Benchmark without description.

Benchmark
Size	1895395
Compressed Size	143352
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	2995

Query 1

Status	unknown
Inferred Status	None
Size	292564
Compressed Size	40959
Max. Term Depth	75
Asserts	12
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	136	or	2
and	183	=>	69	=	1327	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	305651
Compressed Size	42629
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	305712
Compressed Size	42629
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	305712
Compressed Size	42642
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	305743
Compressed Size	42645
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 6

Status	unknown
Inferred Status	None
Size	305769
Compressed Size	42644
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	305762
Compressed Size	42646
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	305807
Compressed Size	42651
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	70
*	9	<	1	<=	152	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	305826
Compressed Size	42652
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	70
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	305911
Compressed Size	42654
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	306079
Compressed Size	42691
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	306002
Compressed Size	42664
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	306042
Compressed Size	42663
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	306152
Compressed Size	42703
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	70
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	306154
Compressed Size	42705
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	306202
Compressed Size	42708
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	305999
Compressed Size	42672
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	305945
Compressed Size	42668
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	306085
Compressed Size	42672
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1360	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	306168
Compressed Size	42685
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1360	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	306107
Compressed Size	42682
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	306098
Compressed Size	42678
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1360	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	306109
Compressed Size	42695
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1360	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	306149
Compressed Size	42695
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	148	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	306273
Compressed Size	42693
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1359	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 26

Status	unknown
Inferred Status	None
Size	306265
Compressed Size	42707
Max. Term Depth	75
Asserts	33
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	147	or	2
and	188	=>	77	=	1360	forall	55
Int	118	div	1	+	11	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 27

Status	unknown
Inferred Status	None
Size	300567
Compressed Size	42070
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	300579
Compressed Size	42069
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	300605
Compressed Size	42067
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	300598
Compressed Size	42073
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	300643
Compressed Size	42076
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	77
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	300662
Compressed Size	42077
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	77
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	300666
Compressed Size	42076
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	300700
Compressed Size	42081
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	77
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	300701
Compressed Size	42082
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	300713
Compressed Size	42089
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	300789
Compressed Size	42089
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	300821
Compressed Size	42087
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	300797
Compressed Size	42100
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1355	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	300806
Compressed Size	42100
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1355	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	300802
Compressed Size	42095
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	300881
Compressed Size	42111
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	148	or	2
and	196	=>	80	=	1354	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	300977
Compressed Size	42130
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	147	or	2
and	196	=>	80	=	1355	forall	56
Int	119	div	1	+	10	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	296289
Compressed Size	41612
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	141	or	2
and	190	=>	75	=	1348	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	296301
Compressed Size	41614
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	141	or	2
and	190	=>	75	=	1348	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	296327
Compressed Size	41612
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	141	or	2
and	190	=>	75	=	1348	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	296320
Compressed Size	41616
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	141	or	2
and	190	=>	75	=	1348	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	296387
Compressed Size	41631
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	142	or	2
and	190	=>	75	=	1348	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	296482
Compressed Size	41642
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	141	or	2
and	190	=>	75	=	1349	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	295619
Compressed Size	41502
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	140	or	2
and	188	=>	74	=	1347	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 51

Status	unknown
Inferred Status	None
Size	295645
Compressed Size	41503
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	140	or	2
and	188	=>	74	=	1347	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	295638
Compressed Size	41505
Max. Term Depth	75
Asserts	23
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	140	or	2
and	188	=>	74	=	1347	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	294613
Compressed Size	41332
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1331	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	294695
Compressed Size	41338
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1331	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	294721
Compressed Size	41341
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1331	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	294896
Compressed Size	41361
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1331	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	294686
Compressed Size	41337
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1332	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	294705
Compressed Size	41339
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1332	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	294906
Compressed Size	41361
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1332	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	294765
Compressed Size	41356
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	186	=>	71	=	1331	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	294930
Compressed Size	41377
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	137	or	2
and	186	=>	71	=	1332	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	294346
Compressed Size	41230
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	139	or	2
and	186	=>	71	=	1330	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	294372
Compressed Size	41234
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	139	or	2
and	186	=>	71	=	1330	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	294365
Compressed Size	41238
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	139	or	2
and	186	=>	71	=	1330	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	294427
Compressed Size	41260
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	140	or	2
and	186	=>	71	=	1330	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	294522
Compressed Size	41277
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	139	or	2
and	186	=>	71	=	1331	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	298038
Compressed Size	41698
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	75
*	9	<	1	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	298057
Compressed Size	41703
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	75
*	9	<	1	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	298061
Compressed Size	41697
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	298077
Compressed Size	41697
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	298044
Compressed Size	41704
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	298089
Compressed Size	41701
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	298082
Compressed Size	41707
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	298104
Compressed Size	41702
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1343	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	298197
Compressed Size	41713
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1343	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	298172
Compressed Size	41717
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	298224
Compressed Size	41733
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1342	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	298426
Compressed Size	41769
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	142	or	2
and	198	=>	82	=	1343	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	292854
Compressed Size	41024
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	136	or	2
and	183	=>	69	=	1327	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	296305
Compressed Size	41444
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	139	or	4
and	196	=>	76	=	1339	forall	54
Int	116	div	1	+	14	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	296324
Compressed Size	41447
Max. Term Depth	75
Asserts	18
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	139	or	4
and	196	=>	76	=	1339	forall	54
Int	116	div	1	+	14	-	76
*	9	<	1	<=	152	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	292938
Compressed Size	41032
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	136	or	2
and	183	=>	69	=	1327	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	292907
Compressed Size	41032
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	136	or	2
and	183	=>	69	=	1327	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	295068
Compressed Size	41283
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	137	or	2
and	186	=>	72	=	1331	forall	54
Int	116	div	1	+	10	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	295088
Compressed Size	41285
Max. Term Depth	75
Asserts	19
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	137	or	2
and	186	=>	72	=	1331	forall	54
Int	116	div	1	+	10	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	307022
Compressed Size	42791
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	75
*	9	<	1	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	307042
Compressed Size	42787
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	75
*	9	<	1	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	307047
Compressed Size	42791
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	307064
Compressed Size	42787
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	307032
Compressed Size	42793
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	307078
Compressed Size	42790
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	307072
Compressed Size	42797
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	307095
Compressed Size	42795
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1399	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	307189
Compressed Size	42822
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1399	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	307136
Compressed Size	42804
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	150	or	8
and	207	=>	82	=	1399	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	307157
Compressed Size	42806
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	150	or	8
and	207	=>	82	=	1399	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	307178
Compressed Size	42815
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	150	or	8
and	207	=>	82	=	1399	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	307199
Compressed Size	42812
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	150	or	8
and	207	=>	82	=	1399	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	307220
Compressed Size	42816
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	150	or	8
and	207	=>	82	=	1399	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	307239
Compressed Size	42820
Max. Term Depth	75
Asserts	43
Declared Functions	120
Declared Constants	2797
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	149	or	8
and	207	=>	82	=	1398	forall	56
Int	119	div	1	+	14	-	74
*	9	<	1	<=	152	>	8
>=	110