Benchmark

incremental/UFNIA/20190909-CLEARSY/0023/00472.smt2

Benchmark without description.

Benchmark
Size	224378
Compressed Size	17959
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-09 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	246

Query 1

Status	unknown
Inferred Status	None
Size	55944
Compressed Size	9148
Max. Term Depth	14
Asserts	10
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	38	or	1
and	30	=>	38	=	204	forall	24
Int	28	+	22	-	10	*	2
<	3	<=	17	>=	8

Query 2

Status	unknown
Inferred Status	None
Size	55993
Compressed Size	9160
Max. Term Depth	14
Asserts	10
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	38	or	1
and	30	=>	38	=	204	forall	24
Int	28	+	22	-	10	*	2
<	3	<=	17	>=	8

Query 3

Status	unknown
Inferred Status	None
Size	75044
Compressed Size	11814
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 4

Status	unknown
Inferred Status	None
Size	75070
Compressed Size	11818
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	3
and	66	=>	98	=	267	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 5

Status	unknown
Inferred Status	None
Size	75098
Compressed Size	11836
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 6

Status	unknown
Inferred Status	None
Size	75117
Compressed Size	11831
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 7

Status	unknown
Inferred Status	None
Size	75153
Compressed Size	11834
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 8

Status	unknown
Inferred Status	None
Size	75191
Compressed Size	11833
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 9

Status	unknown
Inferred Status	None
Size	75278
Compressed Size	11852
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 10

Status	unknown
Inferred Status	None
Size	75303
Compressed Size	11849
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	39
*	2	<	31	<=	90	>	3
>=	15

Query 11

Status	unknown
Inferred Status	None
Size	75260
Compressed Size	11855
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 12

Status	unknown
Inferred Status	None
Size	75300
Compressed Size	11857
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 13

Status	unknown
Inferred Status	None
Size	75322
Compressed Size	11864
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 14

Status	unknown
Inferred Status	None
Size	75349
Compressed Size	11869
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 15

Status	unknown
Inferred Status	None
Size	75377
Compressed Size	11876
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 16

Status	unknown
Inferred Status	None
Size	75389
Compressed Size	11875
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 17

Status	unknown
Inferred Status	None
Size	75417
Compressed Size	11882
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 18

Status	unknown
Inferred Status	None
Size	75412
Compressed Size	11881
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 19

Status	unknown
Inferred Status	None
Size	75438
Compressed Size	11883
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 20

Status	unknown
Inferred Status	None
Size	75458
Compressed Size	11884
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 21

Status	unknown
Inferred Status	None
Size	75478
Compressed Size	11890
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 22

Status	unknown
Inferred Status	None
Size	75498
Compressed Size	11891
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 23

Status	unknown
Inferred Status	None
Size	75518
Compressed Size	11894
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 24

Status	unknown
Inferred Status	None
Size	75605
Compressed Size	11919
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 25

Status	unknown
Inferred Status	None
Size	75631
Compressed Size	11920
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	39
*	2	<	31	<=	90	>	3
>=	15

Query 26

Status	unknown
Inferred Status	None
Size	75636
Compressed Size	11918
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 27

Status	unknown
Inferred Status	None
Size	75656
Compressed Size	11921
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 28

Status	unknown
Inferred Status	None
Size	75676
Compressed Size	11919
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 29

Status	unknown
Inferred Status	None
Size	75738
Compressed Size	11941
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 30

Status	unknown
Inferred Status	None
Size	75761
Compressed Size	11942
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 31

Status	unknown
Inferred Status	None
Size	75823
Compressed Size	11948
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	16

Query 32

Status	unknown
Inferred Status	None
Size	75812
Compressed Size	11945
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 33

Status	unknown
Inferred Status	None
Size	75832
Compressed Size	11947
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 34

Status	unknown
Inferred Status	None
Size	75875
Compressed Size	11948
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 35

Status	unknown
Inferred Status	None
Size	75893
Compressed Size	11955
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 36

Status	unknown
Inferred Status	None
Size	75913
Compressed Size	11960
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 37

Status	unknown
Inferred Status	None
Size	75943
Compressed Size	11962
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	32	<=	90	>	3
>=	15

Query 38

Status	unknown
Inferred Status	None
Size	75947
Compressed Size	11962
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 39

Status	unknown
Inferred Status	None
Size	75967
Compressed Size	11960
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 40

Status	unknown
Inferred Status	None
Size	75977
Compressed Size	11962
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 41

Status	unknown
Inferred Status	None
Size	76029
Compressed Size	11961
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 42

Status	unknown
Inferred Status	None
Size	76036
Compressed Size	11965
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 43

Status	unknown
Inferred Status	None
Size	76065
Compressed Size	11976
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	39
*	2	<	31	<=	91	>	3
>=	15

Query 44

Status	unknown
Inferred Status	None
Size	76090
Compressed Size	11969
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 45

Status	unknown
Inferred Status	None
Size	76114
Compressed Size	11978
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 46

Status	unknown
Inferred Status	None
Size	76506
Compressed Size	12007
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	100	=	267	forall	43
exists	7	Int	54	+	80	-	39
*	2	<	32	<=	91	>	3
>=	15

Query 47

Status	unknown
Inferred Status	None
Size	76176
Compressed Size	11984
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 48

Status	unknown
Inferred Status	None
Size	76199
Compressed Size	11980
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	39
*	2	<	31	<=	91	>	3
>=	15

Query 49

Status	unknown
Inferred Status	None
Size	76557
Compressed Size	12004
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	100	=	267	forall	43
exists	7	Int	54	+	81	-	39
*	2	<	32	<=	91	>	3
>=	15

Query 50

Status	unknown
Inferred Status	None
Size	76213
Compressed Size	11984
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 51

Status	unknown
Inferred Status	None
Size	76409
Compressed Size	12053
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	39
*	2	<	31	<=	91	>	3
>=	15

Query 52

Status	unknown
Inferred Status	None
Size	76406
Compressed Size	12048
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 53

Status	unknown
Inferred Status	None
Size	76422
Compressed Size	12056
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 54

Status	unknown
Inferred Status	None
Size	76476
Compressed Size	12053
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 55

Status	unknown
Inferred Status	None
Size	76496
Compressed Size	12051
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 56

Status	unknown
Inferred Status	None
Size	76547
Compressed Size	12072
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 57

Status	unknown
Inferred Status	None
Size	76567
Compressed Size	12075
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 58

Status	unknown
Inferred Status	None
Size	76587
Compressed Size	12075
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 59

Status	unknown
Inferred Status	None
Size	76598
Compressed Size	12067
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 60

Status	unknown
Inferred Status	None
Size	76632
Compressed Size	12073
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 61

Status	unknown
Inferred Status	None
Size	76666
Compressed Size	12079
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	32	<=	90	>	3
>=	15

Query 62

Status	unknown
Inferred Status	None
Size	76682
Compressed Size	12074
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 63

Status	unknown
Inferred Status	None
Size	76713
Compressed Size	12076
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	39
*	2	<	31	<=	91	>	3
>=	15

Query 64

Status	unknown
Inferred Status	None
Size	76745
Compressed Size	12090
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 65

Status	unknown
Inferred Status	None
Size	77120
Compressed Size	12116
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	100	=	267	forall	43
exists	7	Int	54	+	80	-	39
*	2	<	32	<=	91	>	3
>=	15

Query 66

Status	unknown
Inferred Status	None
Size	77131
Compressed Size	12110
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	100	=	267	forall	43
exists	7	Int	54	+	81	-	39
*	2	<	32	<=	91	>	3
>=	15

Query 67

Status	unknown
Inferred Status	None
Size	76787
Compressed Size	12092
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 68

Status	unknown
Inferred Status	None
Size	77082
Compressed Size	12184
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	98	=	265	forall	43
exists	6	Int	53	+	81	-	38
*	2	<	31	<=	91	>	3
>=	16

Query 69

Status	unknown
Inferred Status	None
Size	77129
Compressed Size	12194
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	40
*	2	<	32	<=	90	>	3
>=	15

Query 70

Status	unknown
Inferred Status	None
Size	77089
Compressed Size	12178
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 71

Status	unknown
Inferred Status	None
Size	77114
Compressed Size	12183
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 72

Status	unknown
Inferred Status	None
Size	77165
Compressed Size	12196
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	81	-	39
*	2	<	31	<=	91	>	3
>=	15

Query 73

Status	unknown
Inferred Status	None
Size	77156
Compressed Size	12192
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 74

Status	unknown
Inferred Status	None
Size	77197
Compressed Size	12204
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 75

Status	unknown
Inferred Status	None
Size	77572
Compressed Size	12252
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	100	=	267	forall	43
exists	7	Int	54	+	80	-	39
*	2	<	32	<=	91	>	3
>=	15

Query 76

Status	unknown
Inferred Status	None
Size	77211
Compressed Size	12193
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 77

Status	unknown
Inferred Status	None
Size	77263
Compressed Size	12212
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	91	>	3
>=	15

Query 78

Status	unknown
Inferred Status	None
Size	77286
Compressed Size	12207
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	265	forall	43
exists	6	Int	53	+	80	-	39
*	2	<	31	<=	91	>	3
>=	15

Query 79

Status	unknown
Inferred Status	None
Size	77643
Compressed Size	12261
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	67	=>	100	=	267	forall	43
exists	7	Int	54	+	81	-	39
*	2	<	32	<=	91	>	3
>=	15

Query 80

Status	unknown
Inferred Status	None
Size	77300
Compressed Size	12210
Max. Term Depth	14
Asserts	13
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	179
Declared Datatypes	0

Symbols

true	6	Bool	179	not	39	or	2
and	66	=>	98	=	266	forall	43
exists	6	Int	53	+	79	-	38
*	2	<	31	<=	90	>	3
>=	15

Query 81

Status	unknown
Inferred Status	None
Size	56215
Compressed Size	9213
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	25	-	10	*	2
<	4	<=	24	>=	8

Query 82

Status	unknown
Inferred Status	None
Size	56325
Compressed Size	9230
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	32	=>	41	=	207	forall	23
Int	27	+	26	-	10	*	2
<	5	<=	26	>=	8

Query 83

Status	unknown
Inferred Status	None
Size	56264
Compressed Size	9217
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	25	-	10	*	2
<	4	<=	25	>=	8

Query 84

Status	unknown
Inferred Status	None
Size	56300
Compressed Size	9222
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	25	-	10	*	2
<	4	<=	25	>=	8

Query 85

Status	unknown
Inferred Status	None
Size	56351
Compressed Size	9245
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	25	-	11	*	2
<	4	<=	25	>=	8

Query 86

Status	unknown
Inferred Status	None
Size	56365
Compressed Size	9245
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	26	-	10	*	2
<	4	<=	24	>=	8

Query 87

Status	unknown
Inferred Status	None
Size	56380
Compressed Size	9253
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	26	-	10	*	2
<	4	<=	24	>=	8

Query 88

Status	unknown
Inferred Status	None
Size	56414
Compressed Size	9254
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	26	-	10	*	2
<	4	<=	24	>=	8

Query 89

Status	unknown
Inferred Status	None
Size	56672
Compressed Size	9281
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	33	=>	41	=	207	forall	23
Int	27	+	32	-	10	*	2
<	6	<=	27	>=	8

Query 90

Status	unknown
Inferred Status	None
Size	56505
Compressed Size	9269
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	26	-	12	*	2
<	5	<=	24	>=	8

Query 91

Status	unknown
Inferred Status	None
Size	56485
Compressed Size	9264
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	26	-	10	*	2
<	4	<=	25	>=	8

Query 92

Status	unknown
Inferred Status	None
Size	56523
Compressed Size	9266
Max. Term Depth	14
Asserts	14
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	37	or	1
and	31	=>	40	=	206	forall	23
Int	27	+	26	-	10	*	2
<	4	<=	25	>=	8

Query 93

Status	unknown
Inferred Status	None
Size	66042
Compressed Size	10818
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10

Query 94

Status	unknown
Inferred Status	None
Size	66036
Compressed Size	10813
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10

Query 95

Status	unknown
Inferred Status	None
Size	66080
Compressed Size	10833
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10

Query 96

Status	unknown
Inferred Status	None
Size	66099
Compressed Size	10834
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10

Query 97

Status	unknown
Inferred Status	None
Size	66112
Compressed Size	10828
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10

Query 98

Status	unknown
Inferred Status	None
Size	66143
Compressed Size	10833
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10

Query 99

Status	unknown
Inferred Status	None
Size	66137
Compressed Size	10829
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10

Query 100

Status	unknown
Inferred Status	None
Size	66181
Compressed Size	10845
Max. Term Depth	14
Asserts	22
Declared Functions	125
Declared Constants	606
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	110
Declared Datatypes	0

Symbols

true	6	Bool	110	not	39	or	1
and	42	=>	60	=	239	forall	28
exists	2	Int	34	+	34	-	24
*	2	<	14	<=	53	>	2
>=	10