Benchmark

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

Benchmark without description.

Benchmark
Size	451472
Compressed Size	45287
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	388

Query 1

Status	unknown
Inferred Status	None
Size	279753
Compressed Size	38699
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1311	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	279833
Compressed Size	38716
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1311	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	279848
Compressed Size	38721
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1311	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	279862
Compressed Size	38722
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	135	or	2
and	188	=>	73	=	1311	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	280435
Compressed Size	38827
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 6

Status	unknown
Inferred Status	None
Size	280425
Compressed Size	38824
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 7

Status	unknown
Inferred Status	None
Size	280478
Compressed Size	38839
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 8

Status	unknown
Inferred Status	None
Size	280468
Compressed Size	38831
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 9

Status	unknown
Inferred Status	None
Size	301295
Compressed Size	39798
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	301314
Compressed Size	39799
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	301396
Compressed Size	39801
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	301436
Compressed Size	39798
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	301376
Compressed Size	39804
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	301389
Compressed Size	39805
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	301419
Compressed Size	39812
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	301432
Compressed Size	39813
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	301555
Compressed Size	39859
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	301617
Compressed Size	39858
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	301601
Compressed Size	39866
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	301663
Compressed Size	39864
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	301620
Compressed Size	39863
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	301667
Compressed Size	39877
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	301687
Compressed Size	39881
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	301707
Compressed Size	39879
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	301719
Compressed Size	39880
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 26

Status	unknown
Inferred Status	None
Size	301852
Compressed Size	39885
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 27

Status	unknown
Inferred Status	None
Size	301830
Compressed Size	39899
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	301913
Compressed Size	39887
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	301786
Compressed Size	39886
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	301806
Compressed Size	39889
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	301853
Compressed Size	39901
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	301873
Compressed Size	39902
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	301893
Compressed Size	39910
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	301913
Compressed Size	39905
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	301933
Compressed Size	39906
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	301953
Compressed Size	39903
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	301973
Compressed Size	39905
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	301993
Compressed Size	39907
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	302005
Compressed Size	39907
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	302025
Compressed Size	39908
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	302053
Compressed Size	39916
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	302115
Compressed Size	39917
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	302198
Compressed Size	39914
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	302218
Compressed Size	39916
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	302483
Compressed Size	39917
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	302216
Compressed Size	39930
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	302236
Compressed Size	39931
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	302319
Compressed Size	39919
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	302339
Compressed Size	39921
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	302212
Compressed Size	39919
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 51

Status	unknown
Inferred Status	None
Size	302232
Compressed Size	39921
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	302279
Compressed Size	39932
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	302299
Compressed Size	39934
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	302319
Compressed Size	39935
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	302339
Compressed Size	39937
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	302359
Compressed Size	39937
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	302379
Compressed Size	39941
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	302399
Compressed Size	39939
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	302419
Compressed Size	39942
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	302439
Compressed Size	39940
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	302451
Compressed Size	39939
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	302471
Compressed Size	39940
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	302499
Compressed Size	39948
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	302561
Compressed Size	39948
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	302581
Compressed Size	39951
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	302664
Compressed Size	39950
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	302684
Compressed Size	39951
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	302949
Compressed Size	39956
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	302682
Compressed Size	39964
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	302702
Compressed Size	39965
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	302785
Compressed Size	39953
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	302805
Compressed Size	39955
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	302678
Compressed Size	39954
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	302698
Compressed Size	39957
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	302745
Compressed Size	39968
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	302765
Compressed Size	39971
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	302785
Compressed Size	39971
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	302805
Compressed Size	39974
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	302825
Compressed Size	39974
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	302845
Compressed Size	39977
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	302865
Compressed Size	39975
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	302885
Compressed Size	39978
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	302905
Compressed Size	39977
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	302917
Compressed Size	39974
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	302937
Compressed Size	39977
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	302965
Compressed Size	39985
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	303027
Compressed Size	39984
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	303047
Compressed Size	39984
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	303130
Compressed Size	39983
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	303150
Compressed Size	39986
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	303415
Compressed Size	39990
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	303148
Compressed Size	39998
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	303168
Compressed Size	40001
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	303251
Compressed Size	39988
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	303271
Compressed Size	39991
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	303144
Compressed Size	39990
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	303164
Compressed Size	39992
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	303211
Compressed Size	40004
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	303231
Compressed Size	40006
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	303251
Compressed Size	40008
Max. Term Depth	75
Asserts	21
Declared Functions	120
Declared Constants	2356
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	153	or	18
and	206	=>	75	=	1367	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110