Benchmark

incremental/UFNIA/20190906-CLEARSY/0002/00121.smt2

Benchmark without description.

Benchmark
Size	220896
Compressed Size	28613
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	120

Query 1

Status	unknown
Inferred Status	None
Size	185984
Compressed Size	26127
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 2

Status	unknown
Inferred Status	None
Size	186003
Compressed Size	26131
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 3

Status	unknown
Inferred Status	None
Size	186054
Compressed Size	26142
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 4

Status	unknown
Inferred Status	None
Size	186046
Compressed Size	26140
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 5

Status	unknown
Inferred Status	None
Size	186108
Compressed Size	26146
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 6

Status	unknown
Inferred Status	None
Size	186145
Compressed Size	26159
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 7

Status	unknown
Inferred Status	None
Size	186161
Compressed Size	26152
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 8

Status	unknown
Inferred Status	None
Size	186180
Compressed Size	26156
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 9

Status	unknown
Inferred Status	None
Size	186226
Compressed Size	26160
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 10

Status	unknown
Inferred Status	None
Size	186246
Compressed Size	26167
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 11

Status	unknown
Inferred Status	None
Size	186249
Compressed Size	26167
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 12

Status	unknown
Inferred Status	None
Size	186316
Compressed Size	26175
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 13

Status	unknown
Inferred Status	None
Size	186285
Compressed Size	26168
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 14

Status	unknown
Inferred Status	None
Size	186305
Compressed Size	26169
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 15

Status	unknown
Inferred Status	None
Size	186352
Compressed Size	26184
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 16

Status	unknown
Inferred Status	None
Size	186372
Compressed Size	26181
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 17

Status	unknown
Inferred Status	None
Size	186392
Compressed Size	26186
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 18

Status	unknown
Inferred Status	None
Size	186395
Compressed Size	26189
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 19

Status	unknown
Inferred Status	None
Size	186462
Compressed Size	26196
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 20

Status	unknown
Inferred Status	None
Size	186431
Compressed Size	26189
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 21

Status	unknown
Inferred Status	None
Size	186451
Compressed Size	26188
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 22

Status	unknown
Inferred Status	None
Size	186498
Compressed Size	26200
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 23

Status	unknown
Inferred Status	None
Size	186518
Compressed Size	26197
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 24

Status	unknown
Inferred Status	None
Size	186544
Compressed Size	26206
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 25

Status	unknown
Inferred Status	None
Size	186627
Compressed Size	26210
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 26

Status	unknown
Inferred Status	None
Size	186590
Compressed Size	26205
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	59	*	6
<	2	<=	97	>	13	>=	44

Query 27

Status	unknown
Inferred Status	None
Size	186583
Compressed Size	26199
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 28

Status	unknown
Inferred Status	None
Size	186630
Compressed Size	26213
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 29

Status	unknown
Inferred Status	None
Size	186650
Compressed Size	26209
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 30

Status	unknown
Inferred Status	None
Size	186733
Compressed Size	26221
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 31

Status	unknown
Inferred Status	None
Size	186690
Compressed Size	26214
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	6
<	2	<=	97	>	13	>=	44

Query 32

Status	unknown
Inferred Status	None
Size	186689
Compressed Size	26209
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 33

Status	unknown
Inferred Status	None
Size	186709
Compressed Size	26210
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 34

Status	unknown
Inferred Status	None
Size	186756
Compressed Size	26224
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 35

Status	unknown
Inferred Status	None
Size	186776
Compressed Size	26221
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 36

Status	unknown
Inferred Status	None
Size	186796
Compressed Size	26223
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 37

Status	unknown
Inferred Status	None
Size	186846
Compressed Size	26226
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 38

Status	unknown
Inferred Status	None
Size	186899
Compressed Size	26235
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 39

Status	unknown
Inferred Status	None
Size	186860
Compressed Size	26228
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 40

Status	unknown
Inferred Status	None
Size	186882
Compressed Size	26230
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	59	*	6
<	2	<=	97	>	13	>=	44

Query 41

Status	unknown
Inferred Status	None
Size	186896
Compressed Size	26231
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	6
<	2	<=	97	>	13	>=	44

Query 42

Status	unknown
Inferred Status	None
Size	186914
Compressed Size	26229
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 43

Status	unknown
Inferred Status	None
Size	186942
Compressed Size	26242
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 44

Status	unknown
Inferred Status	None
Size	186935
Compressed Size	26230
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 45

Status	unknown
Inferred Status	None
Size	186955
Compressed Size	26232
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 46

Status	unknown
Inferred Status	None
Size	186975
Compressed Size	26233
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 47

Status	unknown
Inferred Status	None
Size	186995
Compressed Size	26234
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 48

Status	unknown
Inferred Status	None
Size	187042
Compressed Size	26250
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 49

Status	unknown
Inferred Status	None
Size	187062
Compressed Size	26245
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 50

Status	unknown
Inferred Status	None
Size	187082
Compressed Size	26247
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 51

Status	unknown
Inferred Status	None
Size	187102
Compressed Size	26246
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 52

Status	unknown
Inferred Status	None
Size	187122
Compressed Size	26249
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 53

Status	unknown
Inferred Status	None
Size	187142
Compressed Size	26250
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 54

Status	unknown
Inferred Status	None
Size	187192
Compressed Size	26255
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 55

Status	unknown
Inferred Status	None
Size	187212
Compressed Size	26255
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 56

Status	unknown
Inferred Status	None
Size	187265
Compressed Size	26263
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 57

Status	unknown
Inferred Status	None
Size	187285
Compressed Size	26266
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 58

Status	unknown
Inferred Status	None
Size	187246
Compressed Size	26259
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 59

Status	unknown
Inferred Status	None
Size	187266
Compressed Size	26257
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 60

Status	unknown
Inferred Status	None
Size	187309
Compressed Size	26267
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	59	*	6
<	2	<=	97	>	13	>=	44

Query 61

Status	unknown
Inferred Status	None
Size	187308
Compressed Size	26263
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	59	*	6
<	2	<=	97	>	13	>=	44

Query 62

Status	unknown
Inferred Status	None
Size	187322
Compressed Size	26265
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	6
<	2	<=	97	>	13	>=	44

Query 63

Status	unknown
Inferred Status	None
Size	187340
Compressed Size	26263
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 64

Status	unknown
Inferred Status	None
Size	187341
Compressed Size	26263
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 65

Status	unknown
Inferred Status	None
Size	187361
Compressed Size	26263
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 66

Status	unknown
Inferred Status	None
Size	187381
Compressed Size	26265
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 67

Status	unknown
Inferred Status	None
Size	187401
Compressed Size	26271
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 68

Status	unknown
Inferred Status	None
Size	187421
Compressed Size	26268
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 69

Status	unknown
Inferred Status	None
Size	187441
Compressed Size	26270
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 70

Status	unknown
Inferred Status	None
Size	187482
Compressed Size	26280
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 71

Status	unknown
Inferred Status	None
Size	187508
Compressed Size	26290
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 72

Status	unknown
Inferred Status	None
Size	187528
Compressed Size	26286
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 73

Status	unknown
Inferred Status	None
Size	187548
Compressed Size	26288
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 74

Status	unknown
Inferred Status	None
Size	187568
Compressed Size	26288
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 75

Status	unknown
Inferred Status	None
Size	187588
Compressed Size	26288
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 76

Status	unknown
Inferred Status	None
Size	187608
Compressed Size	26290
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 77

Status	unknown
Inferred Status	None
Size	187628
Compressed Size	26291
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 78

Status	unknown
Inferred Status	None
Size	187648
Compressed Size	26292
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 79

Status	unknown
Inferred Status	None
Size	187668
Compressed Size	26294
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 80

Status	unknown
Inferred Status	None
Size	187718
Compressed Size	26297
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 81

Status	unknown
Inferred Status	None
Size	187738
Compressed Size	26298
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 82

Status	unknown
Inferred Status	None
Size	187791
Compressed Size	26307
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 83

Status	unknown
Inferred Status	None
Size	187811
Compressed Size	26307
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 84

Status	unknown
Inferred Status	None
Size	187772
Compressed Size	26300
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 85

Status	unknown
Inferred Status	None
Size	187792
Compressed Size	26299
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 86

Status	unknown
Inferred Status	None
Size	187787
Compressed Size	26299
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 87

Status	unknown
Inferred Status	None
Size	187807
Compressed Size	26300
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 88

Status	unknown
Inferred Status	None
Size	187827
Compressed Size	26302
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 89

Status	unknown
Inferred Status	None
Size	187847
Compressed Size	26303
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 90

Status	unknown
Inferred Status	None
Size	187894
Compressed Size	26315
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 91

Status	unknown
Inferred Status	None
Size	187914
Compressed Size	26313
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 92

Status	unknown
Inferred Status	None
Size	187934
Compressed Size	26314
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 93

Status	unknown
Inferred Status	None
Size	187954
Compressed Size	26316
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 94

Status	unknown
Inferred Status	None
Size	187974
Compressed Size	26316
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 95

Status	unknown
Inferred Status	None
Size	188024
Compressed Size	26322
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 96

Status	unknown
Inferred Status	None
Size	188044
Compressed Size	26321
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 97

Status	unknown
Inferred Status	None
Size	188038
Compressed Size	26325
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 98

Status	unknown
Inferred Status	None
Size	188058
Compressed Size	26322
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 99

Status	unknown
Inferred Status	None
Size	188053
Compressed Size	26320
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44

Query 100

Status	unknown
Inferred Status	None
Size	188074
Compressed Size	26325
Max. Term Depth	75
Asserts	6
Declared Functions	120
Declared Constants	1534
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	93
Declared Datatypes	0

Symbols

true	6	Bool	93	not	144	or	2
and	125	=>	72	=	962	forall	49
Int	110	+	6	-	58	*	5
<	2	<=	97	>	13	>=	44