Benchmark

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

Benchmark without description.

Benchmark
Size	558082
Compressed Size	37131
License	Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Category	industrial
First Occurrence	2020-07-06
Generated By	David Deharbe, CLEARSY
Generated On	2019-09-09 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	974

Query 1

Status	unknown
Inferred Status	None
Size	104917
Compressed Size	16106
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 2

Status	unknown
Inferred Status	None
Size	105090
Compressed Size	16116
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 3

Status	unknown
Inferred Status	None
Size	104992
Compressed Size	16122
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 4

Status	unknown
Inferred Status	None
Size	105138
Compressed Size	16134
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 5

Status	unknown
Inferred Status	None
Size	105040
Compressed Size	16132
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 6

Status	unknown
Inferred Status	None
Size	105186
Compressed Size	16141
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 7

Status	unknown
Inferred Status	None
Size	105088
Compressed Size	16143
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 8

Status	unknown
Inferred Status	None
Size	105234
Compressed Size	16146
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 9

Status	unknown
Inferred Status	None
Size	105137
Compressed Size	16154
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 10

Status	unknown
Inferred Status	None
Size	105284
Compressed Size	16162
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 11

Status	unknown
Inferred Status	None
Size	105189
Compressed Size	16175
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 12

Status	unknown
Inferred Status	None
Size	105336
Compressed Size	16172
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 13

Status	unknown
Inferred Status	None
Size	105241
Compressed Size	16184
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 14

Status	unknown
Inferred Status	None
Size	105388
Compressed Size	16183
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 15

Status	unknown
Inferred Status	None
Size	105293
Compressed Size	16187
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 16

Status	unknown
Inferred Status	None
Size	105440
Compressed Size	16197
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 17

Status	unknown
Inferred Status	None
Size	105345
Compressed Size	16194
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 18

Status	unknown
Inferred Status	None
Size	105492
Compressed Size	16201
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 19

Status	unknown
Inferred Status	None
Size	105397
Compressed Size	16206
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 20

Status	unknown
Inferred Status	None
Size	105544
Compressed Size	16207
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 21

Status	unknown
Inferred Status	None
Size	105449
Compressed Size	16211
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 22

Status	unknown
Inferred Status	None
Size	105596
Compressed Size	16215
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 23

Status	unknown
Inferred Status	None
Size	105501
Compressed Size	16219
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 24

Status	unknown
Inferred Status	None
Size	105648
Compressed Size	16227
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 25

Status	unknown
Inferred Status	None
Size	105553
Compressed Size	16232
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 26

Status	unknown
Inferred Status	None
Size	105700
Compressed Size	16230
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 27

Status	unknown
Inferred Status	None
Size	105605
Compressed Size	16234
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 28

Status	unknown
Inferred Status	None
Size	105752
Compressed Size	16238
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 29

Status	unknown
Inferred Status	None
Size	105657
Compressed Size	16246
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 30

Status	unknown
Inferred Status	None
Size	105804
Compressed Size	16241
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 31

Status	unknown
Inferred Status	None
Size	105709
Compressed Size	16251
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 32

Status	unknown
Inferred Status	None
Size	105856
Compressed Size	16250
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 33

Status	unknown
Inferred Status	None
Size	105761
Compressed Size	16259
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 34

Status	unknown
Inferred Status	None
Size	105908
Compressed Size	16257
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 35

Status	unknown
Inferred Status	None
Size	105813
Compressed Size	16260
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 36

Status	unknown
Inferred Status	None
Size	105960
Compressed Size	16262
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 37

Status	unknown
Inferred Status	None
Size	105865
Compressed Size	16263
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 38

Status	unknown
Inferred Status	None
Size	106012
Compressed Size	16269
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 39

Status	unknown
Inferred Status	None
Size	105917
Compressed Size	16272
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 40

Status	unknown
Inferred Status	None
Size	106064
Compressed Size	16275
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 41

Status	unknown
Inferred Status	None
Size	105969
Compressed Size	16278
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 42

Status	unknown
Inferred Status	None
Size	105989
Compressed Size	16278
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 43

Status	unknown
Inferred Status	None
Size	106136
Compressed Size	16285
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 44

Status	unknown
Inferred Status	None
Size	106156
Compressed Size	16286
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 45

Status	unknown
Inferred Status	None
Size	106073
Compressed Size	16292
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 46

Status	unknown
Inferred Status	None
Size	106093
Compressed Size	16301
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	386	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 47

Status	unknown
Inferred Status	None
Size	106240
Compressed Size	16289
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 48

Status	unknown
Inferred Status	None
Size	106260
Compressed Size	16297
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 49

Status	unknown
Inferred Status	None
Size	106238
Compressed Size	16312
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 50

Status	unknown
Inferred Status	None
Size	106258
Compressed Size	16312
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 51

Status	unknown
Inferred Status	None
Size	106278
Compressed Size	16315
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 52

Status	unknown
Inferred Status	None
Size	106298
Compressed Size	16316
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 53

Status	unknown
Inferred Status	None
Size	106318
Compressed Size	16317
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 54

Status	unknown
Inferred Status	None
Size	106338
Compressed Size	16324
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 55

Status	unknown
Inferred Status	None
Size	106358
Compressed Size	16325
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 56

Status	unknown
Inferred Status	None
Size	106378
Compressed Size	16327
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 57

Status	unknown
Inferred Status	None
Size	106398
Compressed Size	16331
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 58

Status	unknown
Inferred Status	None
Size	106418
Compressed Size	16332
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 59

Status	unknown
Inferred Status	None
Size	106438
Compressed Size	16331
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 60

Status	unknown
Inferred Status	None
Size	106458
Compressed Size	16331
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 61

Status	unknown
Inferred Status	None
Size	106478
Compressed Size	16331
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 62

Status	unknown
Inferred Status	None
Size	106498
Compressed Size	16337
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 63

Status	unknown
Inferred Status	None
Size	106518
Compressed Size	16341
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 64

Status	unknown
Inferred Status	None
Size	106538
Compressed Size	16341
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 65

Status	unknown
Inferred Status	None
Size	106558
Compressed Size	16341
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 66

Status	unknown
Inferred Status	None
Size	106578
Compressed Size	16345
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 67

Status	unknown
Inferred Status	None
Size	106598
Compressed Size	16347
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 68

Status	unknown
Inferred Status	None
Size	106618
Compressed Size	16347
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 69

Status	unknown
Inferred Status	None
Size	106638
Compressed Size	16348
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 70

Status	unknown
Inferred Status	None
Size	106658
Compressed Size	16346
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 71

Status	unknown
Inferred Status	None
Size	106678
Compressed Size	16352
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 72

Status	unknown
Inferred Status	None
Size	106698
Compressed Size	16355
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 73

Status	unknown
Inferred Status	None
Size	106718
Compressed Size	16357
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	62
Declared Datatypes	0

Symbols

true	6	Bool	62	not	54	or	2
and	14	=>	7	=	387	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 74

Status	unknown
Inferred Status	None
Size	97741
Compressed Size	15570
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	365	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 75

Status	unknown
Inferred Status	None
Size	97778
Compressed Size	15583
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	365	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 76

Status	unknown
Inferred Status	None
Size	97787
Compressed Size	15604
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	55	or	2
and	14	=>	7	=	365	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 77

Status	unknown
Inferred Status	None
Size	97821
Compressed Size	15605
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	55	or	2
and	14	=>	7	=	365	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 78

Status	unknown
Inferred Status	None
Size	97834
Compressed Size	15597
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	365	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 79

Status	unknown
Inferred Status	None
Size	97929
Compressed Size	15629
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 80

Status	unknown
Inferred Status	None
Size	97896
Compressed Size	15623
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 81

Status	unknown
Inferred Status	None
Size	97915
Compressed Size	15624
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 82

Status	unknown
Inferred Status	None
Size	97934
Compressed Size	15626
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 83

Status	unknown
Inferred Status	None
Size	97954
Compressed Size	15630
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 84

Status	unknown
Inferred Status	None
Size	98005
Compressed Size	15645
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 85

Status	unknown
Inferred Status	None
Size	98025
Compressed Size	15649
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 86

Status	unknown
Inferred Status	None
Size	98045
Compressed Size	15653
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 87

Status	unknown
Inferred Status	None
Size	98065
Compressed Size	15654
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 88

Status	unknown
Inferred Status	None
Size	98106
Compressed Size	15653
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 89

Status	unknown
Inferred Status	None
Size	98074
Compressed Size	15651
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 90

Status	unknown
Inferred Status	None
Size	98149
Compressed Size	15673
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 91

Status	unknown
Inferred Status	None
Size	98169
Compressed Size	15677
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 92

Status	unknown
Inferred Status	None
Size	98189
Compressed Size	15683
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 93

Status	unknown
Inferred Status	None
Size	98209
Compressed Size	15684
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 94

Status	unknown
Inferred Status	None
Size	98174
Compressed Size	15664
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 95

Status	unknown
Inferred Status	None
Size	98194
Compressed Size	15665
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 96

Status	unknown
Inferred Status	None
Size	98214
Compressed Size	15666
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 97

Status	unknown
Inferred Status	None
Size	98234
Compressed Size	15669
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 98

Status	unknown
Inferred Status	None
Size	98285
Compressed Size	15680
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 99

Status	unknown
Inferred Status	None
Size	98305
Compressed Size	15682
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36

Query 100

Status	unknown
Inferred Status	None
Size	98325
Compressed Size	15684
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	1150
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	54	or	2
and	14	=>	7	=	366	forall	4
Int	5	+	12	-	3	*	3
<	5	<=	35	>	7	>=	36