Benchmark

incremental/UFNIA/20190906-CLEARSY/0000/00376.smt2

Benchmark without description.

Benchmark
Size	225950
Compressed Size	23503
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	205

Query 1

Status	unknown
Inferred Status	None
Size	107148
Compressed Size	16961
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	107190
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 3

Status	unknown
Inferred Status	None
Size	107258
Compressed Size	16978
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	107218
Compressed Size	16969
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 5

Status	unknown
Inferred Status	None
Size	107599
Compressed Size	17031
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 6

Status	unknown
Inferred Status	None
Size	107636
Compressed Size	17037
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	107658
Compressed Size	17050
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 8

Status	unknown
Inferred Status	None
Size	107695
Compressed Size	17054
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	107706
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 10

Status	unknown
Inferred Status	None
Size	107743
Compressed Size	17066
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	107754
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 12

Status	unknown
Inferred Status	None
Size	107791
Compressed Size	17074
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	107802
Compressed Size	17083
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	107840
Compressed Size	17091
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	107853
Compressed Size	17094
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	107891
Compressed Size	17097
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	107905
Compressed Size	17106
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	107943
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 19

Status	unknown
Inferred Status	None
Size	107957
Compressed Size	17115
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	107995
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 21

Status	unknown
Inferred Status	None
Size	108009
Compressed Size	17124
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	108047
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 23

Status	unknown
Inferred Status	None
Size	108061
Compressed Size	17134
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	108099
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 25

Status	unknown
Inferred Status	None
Size	108113
Compressed Size	17139
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 26

Status	unknown
Inferred Status	None
Size	108151
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 27

Status	unknown
Inferred Status	None
Size	108165
Compressed Size	17148
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 28

Status	unknown
Inferred Status	None
Size	108203
Compressed Size	17149
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 29

Status	unknown
Inferred Status	None
Size	108217
Compressed Size	17154
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 30

Status	unknown
Inferred Status	None
Size	108255
Compressed Size	17159
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 31

Status	unknown
Inferred Status	None
Size	106432
Compressed Size	16865
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	12
Declared Datatypes	0

Symbols

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

Query 32

Status	unknown
Inferred Status	None
Size	106447
Compressed Size	16867
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	12
Declared Datatypes	0

Symbols

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

Query 33

Status	unknown
Inferred Status	None
Size	106515
Compressed Size	16879
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	12
Declared Datatypes	0

Symbols

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

Query 34

Status	unknown
Inferred Status	None
Size	106475
Compressed Size	16873
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	12
Declared Datatypes	0

Symbols

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

Query 35

Status	unknown
Inferred Status	None
Size	108064
Compressed Size	17164
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	37
Declared Datatypes	0

Symbols

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

Query 36

Status	unknown
Inferred Status	None
Size	108131
Compressed Size	17187
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	37
Declared Datatypes	0

Symbols

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

Query 37

Status	unknown
Inferred Status	None
Size	108166
Compressed Size	17198
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	37
Declared Datatypes	0

Symbols

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

Query 38

Status	unknown
Inferred Status	None
Size	108169
Compressed Size	17191
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	37
Declared Datatypes	0

Symbols

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

Query 39

Status	unknown
Inferred Status	None
Size	108204
Compressed Size	17199
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	37
Declared Datatypes	0

Symbols

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

Query 40

Status	unknown
Inferred Status	None
Size	108348
Compressed Size	17226
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	37
Declared Datatypes	0

Symbols

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

Query 41

Status	unknown
Inferred Status	None
Size	108367
Compressed Size	17226
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	37
Declared Datatypes	0

Symbols

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

Query 42

Status	unknown
Inferred Status	None
Size	108242
Compressed Size	17195
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	37
Declared Datatypes	0

Symbols

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

Query 43

Status	unknown
Inferred Status	None
Size	108321
Compressed Size	17206
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	37
Declared Datatypes	0

Symbols

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

Query 44

Status	unknown
Inferred Status	None
Size	108341
Compressed Size	17211
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	37
Declared Datatypes	0

Symbols

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

Query 45

Status	unknown
Inferred Status	None
Size	108438
Compressed Size	17238
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	37
Declared Datatypes	0

Symbols

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

Query 46

Status	unknown
Inferred Status	None
Size	108639
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	37
Declared Datatypes	0

Symbols

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

Query 47

Status	unknown
Inferred Status	None
Size	108478
Compressed Size	17241
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	37
Declared Datatypes	0

Symbols

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

Query 48

Status	unknown
Inferred Status	None
Size	108679
Compressed Size	17258
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	37
Declared Datatypes	0

Symbols

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

Query 49

Status	unknown
Inferred Status	None
Size	108335
Compressed Size	17198
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	37
Declared Datatypes	0

Symbols

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

Query 50

Status	unknown
Inferred Status	None
Size	108355
Compressed Size	17201
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	37
Declared Datatypes	0

Symbols

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

Query 51

Status	unknown
Inferred Status	None
Size	108384
Compressed Size	17213
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	37
Declared Datatypes	0

Symbols

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

Query 52

Status	unknown
Inferred Status	None
Size	108404
Compressed Size	17213
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	37
Declared Datatypes	0

Symbols

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

Query 53

Status	unknown
Inferred Status	None
Size	116020
Compressed Size	18262
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	114
Declared Datatypes	0

Symbols

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

Query 54

Status	unknown
Inferred Status	None
Size	116039
Compressed Size	18268
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	114
Declared Datatypes	0

Symbols

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

Query 55

Status	unknown
Inferred Status	None
Size	116142
Compressed Size	18292
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	114
Declared Datatypes	0

Symbols

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

Query 56

Status	unknown
Inferred Status	None
Size	116161
Compressed Size	18293
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	114
Declared Datatypes	0

Symbols

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

Query 57

Status	unknown
Inferred Status	None
Size	116180
Compressed Size	18292
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	114
Declared Datatypes	0

Symbols

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

Query 58

Status	unknown
Inferred Status	None
Size	116199
Compressed Size	18294
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	114
Declared Datatypes	0

Symbols

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

Query 59

Status	unknown
Inferred Status	None
Size	116291
Compressed Size	18319
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	114
Declared Datatypes	0

Symbols

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

Query 60

Status	unknown
Inferred Status	None
Size	116264
Compressed Size	18306
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	114
Declared Datatypes	0

Symbols

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

Query 61

Status	unknown
Inferred Status	None
Size	116283
Compressed Size	18308
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	114
Declared Datatypes	0

Symbols

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

Query 62

Status	unknown
Inferred Status	None
Size	116321
Compressed Size	18316
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	114
Declared Datatypes	0

Symbols

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

Query 63

Status	unknown
Inferred Status	None
Size	116332
Compressed Size	18316
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	114
Declared Datatypes	0

Symbols

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

Query 64

Status	unknown
Inferred Status	None
Size	116353
Compressed Size	18324
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	114
Declared Datatypes	0

Symbols

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

Query 65

Status	unknown
Inferred Status	None
Size	117138
Compressed Size	18393
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	114
Declared Datatypes	0

Symbols

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

Query 66

Status	unknown
Inferred Status	None
Size	116392
Compressed Size	18325
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	114
Declared Datatypes	0

Symbols

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

Query 67

Status	unknown
Inferred Status	None
Size	116413
Compressed Size	18329
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	114
Declared Datatypes	0

Symbols

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

Query 68

Status	unknown
Inferred Status	None
Size	117198
Compressed Size	18399
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	114
Declared Datatypes	0

Symbols

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

Query 69

Status	unknown
Inferred Status	None
Size	116461
Compressed Size	18339
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	114
Declared Datatypes	0

Symbols

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

Query 70

Status	unknown
Inferred Status	None
Size	116481
Compressed Size	18343
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	114
Declared Datatypes	0

Symbols

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

Query 71

Status	unknown
Inferred Status	None
Size	116498
Compressed Size	18345
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	114
Declared Datatypes	0

Symbols

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

Query 72

Status	unknown
Inferred Status	None
Size	116569
Compressed Size	18352
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	114
Declared Datatypes	0

Symbols

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

Query 73

Status	unknown
Inferred Status	None
Size	116553
Compressed Size	18351
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	114
Declared Datatypes	0

Symbols

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

Query 74

Status	unknown
Inferred Status	None
Size	116573
Compressed Size	18350
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	114
Declared Datatypes	0

Symbols

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

Query 75

Status	unknown
Inferred Status	None
Size	116630
Compressed Size	18365
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	114
Declared Datatypes	0

Symbols

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

Query 76

Status	unknown
Inferred Status	None
Size	116706
Compressed Size	18373
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	114
Declared Datatypes	0

Symbols

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

Query 77

Status	unknown
Inferred Status	None
Size	116670
Compressed Size	18365
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	114
Declared Datatypes	0

Symbols

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

Query 78

Status	unknown
Inferred Status	None
Size	116746
Compressed Size	18373
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	114
Declared Datatypes	0

Symbols

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

Query 79

Status	unknown
Inferred Status	None
Size	116654
Compressed Size	18355
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	114
Declared Datatypes	0

Symbols

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

Query 80

Status	unknown
Inferred Status	None
Size	116788
Compressed Size	18362
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	114
Declared Datatypes	0

Symbols

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

Query 81

Status	unknown
Inferred Status	None
Size	116694
Compressed Size	18358
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	114
Declared Datatypes	0

Symbols

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

Query 82

Status	unknown
Inferred Status	None
Size	116828
Compressed Size	18373
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	114
Declared Datatypes	0

Symbols

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

Query 83

Status	unknown
Inferred Status	None
Size	116745
Compressed Size	18367
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	114
Declared Datatypes	0

Symbols

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

Query 84

Status	unknown
Inferred Status	None
Size	116765
Compressed Size	18368
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	114
Declared Datatypes	0

Symbols

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

Query 85

Status	unknown
Inferred Status	None
Size	116780
Compressed Size	18367
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	114
Declared Datatypes	0

Symbols

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

Query 86

Status	unknown
Inferred Status	None
Size	116800
Compressed Size	18368
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	114
Declared Datatypes	0

Symbols

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

Query 87

Status	unknown
Inferred Status	None
Size	116863
Compressed Size	18376
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	114
Declared Datatypes	0

Symbols

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

Query 88

Status	unknown
Inferred Status	None
Size	116859
Compressed Size	18378
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	114
Declared Datatypes	0

Symbols

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

Query 89

Status	unknown
Inferred Status	None
Size	116860
Compressed Size	18371
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	114
Declared Datatypes	0

Symbols

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

Query 90

Status	unknown
Inferred Status	None
Size	116880
Compressed Size	18373
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	114
Declared Datatypes	0

Symbols

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

Query 91

Status	unknown
Inferred Status	None
Size	116943
Compressed Size	18381
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	114
Declared Datatypes	0

Symbols

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

Query 92

Status	unknown
Inferred Status	None
Size	116940
Compressed Size	18387
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	114
Declared Datatypes	0

Symbols

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

Query 93

Status	unknown
Inferred Status	None
Size	106866
Compressed Size	16974
Max. Term Depth	34
Asserts	14
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

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

Query 94

Status	unknown
Inferred Status	None
Size	109430
Compressed Size	17339
Max. Term Depth	34
Asserts	39
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	86	or	1
and	13	=>	28	=	699	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	10	>=	19

Query 95

Status	unknown
Inferred Status	None
Size	109449
Compressed Size	17343
Max. Term Depth	34
Asserts	39
Declared Functions	115
Declared Constants	1438
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	86	or	1
and	13	=>	28	=	699	forall	5
Int	5	div	1	+	1	-	9
<	6	<=	18	>	10	>=	19

Query 96

Status	unknown
Inferred Status	None
Size	109224
Compressed Size	17340
Max. Term Depth	34
Asserts	39
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	86	or	1
and	14	=>	26	=	697	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	16	>	11	>=	17

Query 97

Status	unknown
Inferred Status	None
Size	109199
Compressed Size	17327
Max. Term Depth	34
Asserts	39
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	86	or	1
and	13	=>	26	=	696	forall	5
Int	5	div	1	+	1	-	11
<	6	<=	16	>	10	>=	17

Query 98

Status	unknown
Inferred Status	None
Size	109225
Compressed Size	17322
Max. Term Depth	34
Asserts	39
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	86	or	1
and	13	=>	26	=	696	forall	5
Int	5	div	1	+	1	-	11
<	6	<=	16	>	10	>=	17

Query 99

Status	unknown
Inferred Status	None
Size	109348
Compressed Size	17357
Max. Term Depth	34
Asserts	39
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	86	or	1
and	15	=>	26	=	700	forall	5
Int	5	div	1	+	1	-	11
<	6	<=	16	>	12	>=	17

Query 100

Status	unknown
Inferred Status	None
Size	109351
Compressed Size	17356
Max. Term Depth	34
Asserts	39
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	86	or	1
and	15	=>	26	=	699	forall	5
Int	5	div	1	+	1	-	11
<	6	<=	16	>	12	>=	17