Benchmark

incremental/UFNIA/20190906-CLEARSY/0001/00380.smt2

Benchmark without description.

Benchmark
Size	252845
Compressed Size	24357
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	266

Query 1

Status	unknown
Inferred Status	None
Size	107148
Compressed Size	16971
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 2

Status	unknown
Inferred Status	None
Size	107194
Compressed Size	16983
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 3

Status	unknown
Inferred Status	None
Size	107209
Compressed Size	16983
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 4

Status	unknown
Inferred Status	None
Size	107277
Compressed Size	16989
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 5

Status	unknown
Inferred Status	None
Size	107237
Compressed Size	16981
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	18

Query 6

Status	unknown
Inferred Status	None
Size	107599
Compressed Size	17041
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	12	=>	23	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 7

Status	unknown
Inferred Status	None
Size	107636
Compressed Size	17047
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	12	=>	23	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 8

Status	unknown
Inferred Status	None
Size	107658
Compressed Size	17059
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 9

Status	unknown
Inferred Status	None
Size	107695
Compressed Size	17064
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 10

Status	unknown
Inferred Status	None
Size	107706
Compressed Size	17070
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 11

Status	unknown
Inferred Status	None
Size	107735
Compressed Size	17078
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 12

Status	unknown
Inferred Status	None
Size	107764
Compressed Size	17089
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 13

Status	unknown
Inferred Status	None
Size	107794
Compressed Size	17096
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 14

Status	unknown
Inferred Status	None
Size	107825
Compressed Size	17104
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 15

Status	unknown
Inferred Status	None
Size	107857
Compressed Size	17112
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 16

Status	unknown
Inferred Status	None
Size	107889
Compressed Size	17117
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 17

Status	unknown
Inferred Status	None
Size	107927
Compressed Size	17120
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 18

Status	unknown
Inferred Status	None
Size	107941
Compressed Size	17127
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 19

Status	unknown
Inferred Status	None
Size	107979
Compressed Size	17133
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 20

Status	unknown
Inferred Status	None
Size	107993
Compressed Size	17135
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 21

Status	unknown
Inferred Status	None
Size	108031
Compressed Size	17141
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 22

Status	unknown
Inferred Status	None
Size	108045
Compressed Size	17146
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 23

Status	unknown
Inferred Status	None
Size	108083
Compressed Size	17150
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 24

Status	unknown
Inferred Status	None
Size	108097
Compressed Size	17155
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	84	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 25

Status	unknown
Inferred Status	None
Size	107262
Compressed Size	16995
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 26

Status	unknown
Inferred Status	None
Size	107281
Compressed Size	16999
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 27

Status	unknown
Inferred Status	None
Size	107296
Compressed Size	16999
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 28

Status	unknown
Inferred Status	None
Size	107364
Compressed Size	17006
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	17

Query 29

Status	unknown
Inferred Status	None
Size	107324
Compressed Size	16997
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	85	or	1
and	13	=>	24	=	667	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	14	>	8	>=	18

Query 30

Status	unknown
Inferred Status	None
Size	108431
Compressed Size	17200
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 31

Status	unknown
Inferred Status	None
Size	108456
Compressed Size	17209
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 32

Status	unknown
Inferred Status	None
Size	108481
Compressed Size	17212
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 33

Status	unknown
Inferred Status	None
Size	108506
Compressed Size	17217
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 34

Status	unknown
Inferred Status	None
Size	108531
Compressed Size	17216
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 35

Status	unknown
Inferred Status	None
Size	108556
Compressed Size	17220
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 36

Status	unknown
Inferred Status	None
Size	108581
Compressed Size	17225
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 37

Status	unknown
Inferred Status	None
Size	108606
Compressed Size	17230
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 38

Status	unknown
Inferred Status	None
Size	108670
Compressed Size	17251
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 39

Status	unknown
Inferred Status	None
Size	108690
Compressed Size	17255
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 40

Status	unknown
Inferred Status	None
Size	108758
Compressed Size	17272
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	14	=>	24	=	679	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 41

Status	unknown
Inferred Status	None
Size	108794
Compressed Size	17283
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	14	=>	24	=	680	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 42

Status	unknown
Inferred Status	None
Size	108798
Compressed Size	17279
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	14	=>	24	=	679	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 43

Status	unknown
Inferred Status	None
Size	108834
Compressed Size	17289
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	14	=>	24	=	680	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 44

Status	unknown
Inferred Status	None
Size	108979
Compressed Size	17317
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	89	or	3
and	14	=>	24	=	683	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	19	>	8	>=	19

Query 45

Status	unknown
Inferred Status	None
Size	108999
Compressed Size	17322
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	89	or	3
and	14	=>	24	=	683	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	19	>	8	>=	19

Query 46

Status	unknown
Inferred Status	None
Size	108875
Compressed Size	17287
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 47

Status	unknown
Inferred Status	None
Size	108955
Compressed Size	17307
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	15	=>	24	=	683	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 48

Status	unknown
Inferred Status	None
Size	108975
Compressed Size	17310
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	15	=>	24	=	683	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 49

Status	unknown
Inferred Status	None
Size	109072
Compressed Size	17329
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	89	or	3
and	14	=>	24	=	684	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	19	>	8	>=	19

Query 50

Status	unknown
Inferred Status	None
Size	109273
Compressed Size	17343
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	90	or	3
and	15	=>	24	=	690	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	20	>	8	>=	19

Query 51

Status	unknown
Inferred Status	None
Size	109112
Compressed Size	17334
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	89	or	3
and	14	=>	24	=	684	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	19	>	8	>=	19

Query 52

Status	unknown
Inferred Status	None
Size	109313
Compressed Size	17349
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	90	or	3
and	15	=>	24	=	690	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	20	>	8	>=	19

Query 53

Status	unknown
Inferred Status	None
Size	108969
Compressed Size	17283
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	20

Query 54

Status	unknown
Inferred Status	None
Size	108989
Compressed Size	17285
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	677	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	20

Query 55

Status	unknown
Inferred Status	None
Size	109018
Compressed Size	17296
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	678	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 56

Status	unknown
Inferred Status	None
Size	109038
Compressed Size	17294
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	6	Bool	43	not	88	or	3
and	13	=>	24	=	678	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	8	>=	19

Query 57

Status	unknown
Inferred Status	None
Size	116735
Compressed Size	18337
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 58

Status	unknown
Inferred Status	None
Size	116873
Compressed Size	18392
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 59

Status	unknown
Inferred Status	None
Size	116889
Compressed Size	18395
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	6	-	41
<	8	<=	34	>	22	>=	29

Query 60

Status	unknown
Inferred Status	None
Size	116920
Compressed Size	18402
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	6	-	41
<	8	<=	34	>	22	>=	29

Query 61

Status	unknown
Inferred Status	None
Size	117176
Compressed Size	18458
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 62

Status	unknown
Inferred Status	None
Size	117195
Compressed Size	18465
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 63

Status	unknown
Inferred Status	None
Size	117214
Compressed Size	18467
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 64

Status	unknown
Inferred Status	None
Size	117230
Compressed Size	18469
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	6	-	41
<	8	<=	34	>	22	>=	29

Query 65

Status	unknown
Inferred Status	None
Size	117251
Compressed Size	18466
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 66

Status	unknown
Inferred Status	None
Size	117271
Compressed Size	18470
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 67

Status	unknown
Inferred Status	None
Size	117400
Compressed Size	18498
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 68

Status	unknown
Inferred Status	None
Size	117420
Compressed Size	18507
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 69

Status	unknown
Inferred Status	None
Size	117440
Compressed Size	18510
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 70

Status	unknown
Inferred Status	None
Size	117458
Compressed Size	18515
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	6	-	41
<	8	<=	34	>	22	>=	29

Query 71

Status	unknown
Inferred Status	None
Size	117479
Compressed Size	18513
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 72

Status	unknown
Inferred Status	None
Size	117499
Compressed Size	18515
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 73

Status	unknown
Inferred Status	None
Size	117519
Compressed Size	18518
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 74

Status	unknown
Inferred Status	None
Size	117539
Compressed Size	18522
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 75

Status	unknown
Inferred Status	None
Size	117656
Compressed Size	18550
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 76

Status	unknown
Inferred Status	None
Size	117630
Compressed Size	18542
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	30

Query 77

Status	unknown
Inferred Status	None
Size	117650
Compressed Size	18543
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	718	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	30

Query 78

Status	unknown
Inferred Status	None
Size	117689
Compressed Size	18547
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 79

Status	unknown
Inferred Status	None
Size	117699
Compressed Size	18546
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 80

Status	unknown
Inferred Status	None
Size	117720
Compressed Size	18548
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 81

Status	unknown
Inferred Status	None
Size	118505
Compressed Size	18623
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	20	=>	44	=	720	forall	5
Int	5	div	1	+	5	-	45
<	9	<=	36	>	22	>=	32

Query 82

Status	unknown
Inferred Status	None
Size	117759
Compressed Size	18552
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 83

Status	unknown
Inferred Status	None
Size	117780
Compressed Size	18554
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 84

Status	unknown
Inferred Status	None
Size	118566
Compressed Size	18624
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	20	=>	44	=	720	forall	5
Int	5	div	1	+	5	-	45
<	9	<=	36	>	22	>=	32

Query 85

Status	unknown
Inferred Status	None
Size	117828
Compressed Size	18562
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 86

Status	unknown
Inferred Status	None
Size	117848
Compressed Size	18564
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 87

Status	unknown
Inferred Status	None
Size	117867
Compressed Size	18566
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 88

Status	unknown
Inferred Status	None
Size	117938
Compressed Size	18574
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 89

Status	unknown
Inferred Status	None
Size	117922
Compressed Size	18574
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 90

Status	unknown
Inferred Status	None
Size	117942
Compressed Size	18572
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 91

Status	unknown
Inferred Status	None
Size	117999
Compressed Size	18587
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	20	=>	44	=	720	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	23	>=	29

Query 92

Status	unknown
Inferred Status	None
Size	118075
Compressed Size	18596
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	20	=>	44	=	720	forall	5
Int	5	div	1	+	5	-	43
<	8	<=	34	>	24	>=	29

Query 93

Status	unknown
Inferred Status	None
Size	118039
Compressed Size	18591
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	20	=>	44	=	720	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	23	>=	29

Query 94

Status	unknown
Inferred Status	None
Size	118115
Compressed Size	18601
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	20	=>	44	=	720	forall	5
Int	5	div	1	+	5	-	43
<	8	<=	34	>	24	>=	29

Query 95

Status	unknown
Inferred Status	None
Size	118021
Compressed Size	18571
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 96

Status	unknown
Inferred Status	None
Size	118155
Compressed Size	18583
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	43
<	8	<=	34	>	22	>=	29

Query 97

Status	unknown
Inferred Status	None
Size	118063
Compressed Size	18583
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 98

Status	unknown
Inferred Status	None
Size	118197
Compressed Size	18599
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	43
<	8	<=	34	>	22	>=	29

Query 99

Status	unknown
Inferred Status	None
Size	118114
Compressed Size	18589
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29

Query 100

Status	unknown
Inferred Status	None
Size	118134
Compressed Size	18591
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	6	Bool	131	not	96	or	1
and	19	=>	44	=	719	forall	5
Int	5	div	1	+	5	-	41
<	8	<=	34	>	22	>=	29