Benchmark

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

Benchmark without description.

Benchmark
Size	1300949
Compressed Size	105976
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	2116

Query 1

Status	unknown
Inferred Status	None
Size	283758
Compressed Size	39626
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	283804
Compressed Size	39631
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	283820
Compressed Size	39642
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	283843
Compressed Size	39635
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	283873
Compressed Size	39648
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 6

Status	unknown
Inferred Status	None
Size	283879
Compressed Size	39649
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	283879
Compressed Size	39654
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	283902
Compressed Size	39651
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	283923
Compressed Size	39653
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	283969
Compressed Size	39658
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	283963
Compressed Size	39667
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	283983
Compressed Size	39670
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	284003
Compressed Size	39674
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	284056
Compressed Size	39678
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	284091
Compressed Size	39679
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 16

Status	unknown
Inferred Status	None
Size	284111
Compressed Size	39686
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	284105
Compressed Size	39682
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	284144
Compressed Size	39682
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	284198
Compressed Size	39696
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	284191
Compressed Size	39693
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 21

Status	unknown
Inferred Status	None
Size	284193
Compressed Size	39694
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	284218
Compressed Size	39694
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	284253
Compressed Size	39703
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	284245
Compressed Size	39700
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	284291
Compressed Size	39697
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 26

Status	unknown
Inferred Status	None
Size	284297
Compressed Size	39708
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 27

Status	unknown
Inferred Status	None
Size	284331
Compressed Size	39712
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	284405
Compressed Size	39720
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	284407
Compressed Size	39706
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	284322
Compressed Size	39700
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	284383
Compressed Size	39714
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	284485
Compressed Size	39722
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	284515
Compressed Size	39745
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	284481
Compressed Size	39737
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	183	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	284244
Compressed Size	39757
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	136	or	2
and	183	=>	72	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	283672
Compressed Size	39631
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	283687
Compressed Size	39632
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	283702
Compressed Size	39634
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	283833
Compressed Size	39652
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	283848
Compressed Size	39655
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	283863
Compressed Size	39656
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	283953
Compressed Size	39663
Max. Term Depth	75
Asserts	15
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	284984
Compressed Size	39806
Max. Term Depth	75
Asserts	34
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	138	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	284672
Compressed Size	39756
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	138	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	284688
Compressed Size	39757
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	138	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	284007
Compressed Size	39684
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	284027
Compressed Size	39679
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	284044
Compressed Size	39689
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	284068
Compressed Size	39683
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	284099
Compressed Size	39694
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 51

Status	unknown
Inferred Status	None
Size	284106
Compressed Size	39696
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	284107
Compressed Size	39700
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	284131
Compressed Size	39697
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	284153
Compressed Size	39699
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	284200
Compressed Size	39704
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	284195
Compressed Size	39705
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	284216
Compressed Size	39707
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	284237
Compressed Size	39712
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	284291
Compressed Size	39716
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	284327
Compressed Size	39718
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 61

Status	unknown
Inferred Status	None
Size	284348
Compressed Size	39726
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	284343
Compressed Size	39723
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	284383
Compressed Size	39724
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	284438
Compressed Size	39737
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	284432
Compressed Size	39733
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 66

Status	unknown
Inferred Status	None
Size	284435
Compressed Size	39736
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	284461
Compressed Size	39734
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	284497
Compressed Size	39743
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	284490
Compressed Size	39740
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	284537
Compressed Size	39737
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	284544
Compressed Size	39749
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	284579
Compressed Size	39752
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	284654
Compressed Size	39760
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	284657
Compressed Size	39748
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	284573
Compressed Size	39739
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	69	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	284635
Compressed Size	39756
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	284738
Compressed Size	39763
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	284769
Compressed Size	39787
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	284736
Compressed Size	39778
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	136	or	2
and	183	=>	70	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	286063
Compressed Size	39982
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1308	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	286125
Compressed Size	39993
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1308	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	286128
Compressed Size	39997
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1308	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	286117
Compressed Size	39995
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1308	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	286187
Compressed Size	40003
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1308	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	286166
Compressed Size	39991
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1308	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	286240
Compressed Size	39997
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1309	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	286251
Compressed Size	40016
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	138	or	2
and	183	=>	73	=	1309	forall	55
Int	117	div	1	+	6	-	71
*	9	<	1	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	283796
Compressed Size	39650
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	283820
Compressed Size	39647
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	283851
Compressed Size	39660
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

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

Query 91

Status	unknown
Inferred Status	None
Size	283858
Compressed Size	39662
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	283859
Compressed Size	39667
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	283883
Compressed Size	39664
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	283905
Compressed Size	39666
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	283951
Compressed Size	39668
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	283945
Compressed Size	39668
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	283966
Compressed Size	39672
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	284062
Compressed Size	39683
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	284084
Compressed Size	39675
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	284113
Compressed Size	39679
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2602
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	136	or	2
and	182	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110