Benchmark

incremental/UFNIA/20190906-CLEARSY/0003/00219.smt2

Benchmark without description.

Benchmark
Size	421471
Compressed Size	27414
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	705

Query 1

Status	unknown
Inferred Status	None
Size	64487
Compressed Size	10843
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	35	>	2	>=	1

Query 2

Status	unknown
Inferred Status	None
Size	64554
Compressed Size	10855
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	35	>	2	>=	1

Query 3

Status	unknown
Inferred Status	None
Size	64573
Compressed Size	10857
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	35	>	2	>=	1

Query 4

Status	unknown
Inferred Status	None
Size	64592
Compressed Size	10859
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	35	>	2	>=	1

Query 5

Status	unknown
Inferred Status	None
Size	64684
Compressed Size	10871
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	35	>	2	>=	1

Query 6

Status	unknown
Inferred Status	None
Size	64703
Compressed Size	10872
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	35	>	2	>=	1

Query 7

Status	unknown
Inferred Status	None
Size	64722
Compressed Size	10876
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	35	>	2	>=	1

Query 8

Status	unknown
Inferred Status	None
Size	64674
Compressed Size	10871
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	35	>	2	>=	1

Query 9

Status	unknown
Inferred Status	None
Size	64693
Compressed Size	10873
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	35	>	2	>=	1

Query 10

Status	unknown
Inferred Status	None
Size	64713
Compressed Size	10877
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	35	>	2	>=	1

Query 11

Status	unknown
Inferred Status	None
Size	64806
Compressed Size	10889
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	35	>	2	>=	1

Query 12

Status	unknown
Inferred Status	None
Size	64826
Compressed Size	10892
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	35	>	2	>=	1

Query 13

Status	unknown
Inferred Status	None
Size	64846
Compressed Size	10896
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	99	or	6
and	26	=>	24	=	196	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	35	>	2	>=	1

Query 14

Status	unknown
Inferred Status	None
Size	93276
Compressed Size	13082
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 15

Status	unknown
Inferred Status	None
Size	93285
Compressed Size	13093
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 16

Status	unknown
Inferred Status	None
Size	93334
Compressed Size	13102
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	97	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	45	>	2
>=	3

Query 17

Status	unknown
Inferred Status	None
Size	93346
Compressed Size	13097
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 18

Status	unknown
Inferred Status	None
Size	93365
Compressed Size	13101
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 19

Status	unknown
Inferred Status	None
Size	93384
Compressed Size	13104
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 20

Status	unknown
Inferred Status	None
Size	93403
Compressed Size	13105
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 21

Status	unknown
Inferred Status	None
Size	93422
Compressed Size	13108
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 22

Status	unknown
Inferred Status	None
Size	93441
Compressed Size	13107
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 23

Status	unknown
Inferred Status	None
Size	93461
Compressed Size	13109
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 24

Status	unknown
Inferred Status	None
Size	93498
Compressed Size	13113
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	7
*	9	<	36	<=	44	>	2
>=	2

Query 25

Status	unknown
Inferred Status	None
Size	93491
Compressed Size	13113
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	7	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 26

Status	unknown
Inferred Status	None
Size	93523
Compressed Size	13116
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	7
*	9	<	36	<=	44	>	2
>=	2

Query 27

Status	unknown
Inferred Status	None
Size	93583
Compressed Size	13127
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 28

Status	unknown
Inferred Status	None
Size	93570
Compressed Size	13122
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 29

Status	unknown
Inferred Status	None
Size	105343
Compressed Size	13279
Max. Term Depth	20
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	116	or	36
and	135	=>	69	=	537	forall	19
exists	24	Int	56	+	9	-	9
*	9	<	36	<=	49	>	2
>=	3

Query 30

Status	unknown
Inferred Status	None
Size	93600
Compressed Size	13139
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 31

Status	unknown
Inferred Status	None
Size	93623
Compressed Size	13146
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	7	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 32

Status	unknown
Inferred Status	None
Size	94788
Compressed Size	13228
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 33

Status	unknown
Inferred Status	None
Size	94618
Compressed Size	13216
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 34

Status	unknown
Inferred Status	None
Size	95398
Compressed Size	13274
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	445	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	48	>	2
>=	2

Query 35

Status	unknown
Inferred Status	None
Size	93806
Compressed Size	13169
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 36

Status	unknown
Inferred Status	None
Size	93826
Compressed Size	13176
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 37

Status	unknown
Inferred Status	None
Size	94516
Compressed Size	13220
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 38

Status	unknown
Inferred Status	None
Size	93826
Compressed Size	13164
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 39

Status	unknown
Inferred Status	None
Size	93846
Compressed Size	13166
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 40

Status	unknown
Inferred Status	None
Size	93960
Compressed Size	13183
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 41

Status	unknown
Inferred Status	None
Size	94796
Compressed Size	13245
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 42

Status	unknown
Inferred Status	None
Size	94816
Compressed Size	13244
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 43

Status	unknown
Inferred Status	None
Size	95030
Compressed Size	13257
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 44

Status	unknown
Inferred Status	None
Size	95050
Compressed Size	13261
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 45

Status	unknown
Inferred Status	None
Size	94031
Compressed Size	13214
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	45	>	2
>=	2

Query 46

Status	unknown
Inferred Status	None
Size	94133
Compressed Size	13218
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	111	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	7
*	9	<	36	<=	44	>	2
>=	2

Query 47

Status	unknown
Inferred Status	None
Size	94082
Compressed Size	13214
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 48

Status	unknown
Inferred Status	None
Size	94127
Compressed Size	13213
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	7
*	9	<	36	<=	44	>	2
>=	2

Query 49

Status	unknown
Inferred Status	None
Size	94172
Compressed Size	13226
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 50

Status	unknown
Inferred Status	None
Size	94192
Compressed Size	13234
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 51

Status	unknown
Inferred Status	None
Size	94212
Compressed Size	13230
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 52

Status	unknown
Inferred Status	None
Size	94305
Compressed Size	13239
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	37	<=	44	>	2
>=	2

Query 53

Status	unknown
Inferred Status	None
Size	94325
Compressed Size	13248
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	37	<=	44	>	2
>=	2

Query 54

Status	unknown
Inferred Status	None
Size	94345
Compressed Size	13240
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	37	<=	44	>	2
>=	2

Query 55

Status	unknown
Inferred Status	None
Size	94298
Compressed Size	13240
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 56

Status	unknown
Inferred Status	None
Size	94318
Compressed Size	13251
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 57

Status	unknown
Inferred Status	None
Size	94338
Compressed Size	13253
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 58

Status	unknown
Inferred Status	None
Size	94431
Compressed Size	13252
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	37	<=	44	>	2
>=	2

Query 59

Status	unknown
Inferred Status	None
Size	94451
Compressed Size	13264
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	37	<=	44	>	2
>=	2

Query 60

Status	unknown
Inferred Status	None
Size	94471
Compressed Size	13262
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	37	<=	44	>	2
>=	2

Query 61

Status	unknown
Inferred Status	None
Size	94557
Compressed Size	13307
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	111	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 62

Status	unknown
Inferred Status	None
Size	94621
Compressed Size	13327
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	7	-	7
*	9	<	36	<=	44	>	2
>=	2

Query 63

Status	unknown
Inferred Status	None
Size	94641
Compressed Size	13329
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	7	-	7
*	9	<	36	<=	44	>	2
>=	2

Query 64

Status	unknown
Inferred Status	None
Size	94649
Compressed Size	13327
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	8	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 65

Status	unknown
Inferred Status	None
Size	94669
Compressed Size	13328
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	8	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 66

Status	unknown
Inferred Status	None
Size	94747
Compressed Size	13333
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	435	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	37	<=	44	>	2
>=	2

Query 67

Status	unknown
Inferred Status	None
Size	94742
Compressed Size	13342
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	97	=>	53	=	435	forall	18
exists	16	Int	46	+	8	-	6
*	9	<	36	<=	45	>	2
>=	3

Query 68

Status	unknown
Inferred Status	None
Size	94831
Compressed Size	13354
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	7	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 69

Status	unknown
Inferred Status	None
Size	94790
Compressed Size	13337
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 70

Status	unknown
Inferred Status	None
Size	94850
Compressed Size	13350
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	7	-	7
*	9	<	36	<=	44	>	2
>=	2

Query 71

Status	unknown
Inferred Status	None
Size	94795
Compressed Size	13342
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	8	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 72

Status	unknown
Inferred Status	None
Size	95999
Compressed Size	13404
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 73

Status	unknown
Inferred Status	None
Size	95815
Compressed Size	13401
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 74

Status	unknown
Inferred Status	None
Size	96581
Compressed Size	13432
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	445	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	48	>	2
>=	2

Query 75

Status	unknown
Inferred Status	None
Size	94968
Compressed Size	13371
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 76

Status	unknown
Inferred Status	None
Size	94988
Compressed Size	13377
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 77

Status	unknown
Inferred Status	None
Size	95699
Compressed Size	13388
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 78

Status	unknown
Inferred Status	None
Size	94988
Compressed Size	13337
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 79

Status	unknown
Inferred Status	None
Size	95109
Compressed Size	13350
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 80

Status	unknown
Inferred Status	None
Size	95028
Compressed Size	13341
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 81

Status	unknown
Inferred Status	None
Size	95149
Compressed Size	13353
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	26
and	96	=>	53	=	436	forall	18
exists	16	Int	46	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 82

Status	unknown
Inferred Status	None
Size	96013
Compressed Size	13423
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 83

Status	unknown
Inferred Status	None
Size	96033
Compressed Size	13435
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 84

Status	unknown
Inferred Status	None
Size	96261
Compressed Size	13472
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 85

Status	unknown
Inferred Status	None
Size	96281
Compressed Size	13442
Max. Term Depth	15
Asserts	15
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	110	or	27
and	99	=>	53	=	444	forall	18
exists	17	Int	47	+	6	-	6
*	9	<	36	<=	44	>	2
>=	2

Query 86

Status	unknown
Inferred Status	None
Size	97786
Compressed Size	12932
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 87

Status	unknown
Inferred Status	None
Size	97796
Compressed Size	12936
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 88

Status	unknown
Inferred Status	None
Size	97829
Compressed Size	12943
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 89

Status	unknown
Inferred Status	None
Size	97840
Compressed Size	12943
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 90

Status	unknown
Inferred Status	None
Size	97872
Compressed Size	12948
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 91

Status	unknown
Inferred Status	None
Size	97982
Compressed Size	12976
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 92

Status	unknown
Inferred Status	None
Size	98001
Compressed Size	12978
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 93

Status	unknown
Inferred Status	None
Size	98044
Compressed Size	12983
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 94

Status	unknown
Inferred Status	None
Size	98063
Compressed Size	12992
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 95

Status	unknown
Inferred Status	None
Size	98098
Compressed Size	12994
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 96

Status	unknown
Inferred Status	None
Size	98118
Compressed Size	12995
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 97

Status	unknown
Inferred Status	None
Size	98113
Compressed Size	12997
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 98

Status	unknown
Inferred Status	None
Size	98194
Compressed Size	13008
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 99

Status	unknown
Inferred Status	None
Size	98186
Compressed Size	13001
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3

Query 100

Status	unknown
Inferred Status	None
Size	98192
Compressed Size	13009
Max. Term Depth	15
Asserts	17
Declared Functions	115
Declared Constants	726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	113	or	27
and	112	=>	57	=	443	forall	18
exists	19	Int	49	+	3	-	4
*	9	<	36	<=	51	>	2
>=	3