Benchmark

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

Benchmark without description.

Benchmark
Size	801960
Compressed Size	65775
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	1695

Query 1

Status	unknown
Inferred Status	None
Size	290757
Compressed Size	39916
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	290803
Compressed Size	39925
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	290822
Compressed Size	39927
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	290841
Compressed Size	39929
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	290860
Compressed Size	39931
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 6

Status	unknown
Inferred Status	None
Size	290879
Compressed Size	39931
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	290898
Compressed Size	39934
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	290917
Compressed Size	39935
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	290936
Compressed Size	39937
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	290956
Compressed Size	39945
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	290976
Compressed Size	39944
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	290996
Compressed Size	39947
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	291016
Compressed Size	39950
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	291036
Compressed Size	39953
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	291056
Compressed Size	39957
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	291076
Compressed Size	39962
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1378	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	288483
Compressed Size	39859
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	288502
Compressed Size	39863
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	288521
Compressed Size	39865
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	288540
Compressed Size	39867
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	288559
Compressed Size	39868
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	288578
Compressed Size	39869
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	288597
Compressed Size	39871
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	288616
Compressed Size	39875
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	288635
Compressed Size	39875
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 26

Status	unknown
Inferred Status	None
Size	288655
Compressed Size	39877
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 27

Status	unknown
Inferred Status	None
Size	288675
Compressed Size	39880
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	288695
Compressed Size	39887
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	288715
Compressed Size	39886
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	288735
Compressed Size	39891
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	288755
Compressed Size	39893
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	288775
Compressed Size	39900
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	143	or	2
and	190	=>	74	=	1374	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	289800
Compressed Size	39932
Max. Term Depth	75
Asserts	30
Declared Functions	120
Declared Constants	2482
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	189	=>	73	=	1351	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	286989
Compressed Size	39674
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	136	or	2
and	189	=>	74	=	1350	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	286979
Compressed Size	39671
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	136	or	2
and	189	=>	74	=	1350	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	287038
Compressed Size	39689
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	136	or	2
and	190	=>	74	=	1350	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	287028
Compressed Size	39680
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	136	or	2
and	190	=>	74	=	1350	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	306689
Compressed Size	40333
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	306735
Compressed Size	40349
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	306754
Compressed Size	40350
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	306773
Compressed Size	40351
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	306784
Compressed Size	40347
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	306916
Compressed Size	40361
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	306893
Compressed Size	40364
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	306975
Compressed Size	40352
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	306846
Compressed Size	40356
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	306866
Compressed Size	40357
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	306913
Compressed Size	40372
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	306933
Compressed Size	40374
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	306953
Compressed Size	40377
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 51

Status	unknown
Inferred Status	None
Size	306973
Compressed Size	40380
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	306993
Compressed Size	40385
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	307013
Compressed Size	40386
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	307033
Compressed Size	40389
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	307053
Compressed Size	40388
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	307073
Compressed Size	40392
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	307093
Compressed Size	40394
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	307113
Compressed Size	40395
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	307133
Compressed Size	40397
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	307145
Compressed Size	40396
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	307165
Compressed Size	40395
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	307193
Compressed Size	40402
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	307207
Compressed Size	40395
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	307227
Compressed Size	40398
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	307484
Compressed Size	40408
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	307378
Compressed Size	40419
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	307398
Compressed Size	40418
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	307663
Compressed Size	40412
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	307396
Compressed Size	40424
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	307416
Compressed Size	40424
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	307562
Compressed Size	40431
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	307519
Compressed Size	40415
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	307539
Compressed Size	40413
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	307448
Compressed Size	40415
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	307531
Compressed Size	40422
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	307572
Compressed Size	40416
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	307471
Compressed Size	40422
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	307491
Compressed Size	40423
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	307538
Compressed Size	40438
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	307558
Compressed Size	40436
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	307578
Compressed Size	40439
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	307598
Compressed Size	40441
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	307618
Compressed Size	40440
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	307638
Compressed Size	40443
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	307658
Compressed Size	40446
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	307678
Compressed Size	40447
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	307698
Compressed Size	40445
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	307718
Compressed Size	40449
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	307738
Compressed Size	40449
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	307758
Compressed Size	40450
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	307778
Compressed Size	40450
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	307798
Compressed Size	40453
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	307818
Compressed Size	40452
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	307838
Compressed Size	40456
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	307858
Compressed Size	40456
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	307870
Compressed Size	40454
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	307890
Compressed Size	40454
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	307918
Compressed Size	40464
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	307932
Compressed Size	40454
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	307952
Compressed Size	40457
Max. Term Depth	75
Asserts	37
Declared Functions	120
Declared Constants	2482
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	159	or	18
and	206	=>	74	=	1393	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110