Benchmark

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

Benchmark without description.

Benchmark
Size	175858
Compressed Size	19488
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	402

Query 1

Status	unknown
Inferred Status	None
Size	71254
Compressed Size	11944
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	193	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 2

Status	unknown
Inferred Status	None
Size	71294
Compressed Size	11952
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	193	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 3

Status	unknown
Inferred Status	None
Size	71320
Compressed Size	11955
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	193	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 4

Status	unknown
Inferred Status	None
Size	71325
Compressed Size	11952
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	193	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 5

Status	unknown
Inferred Status	None
Size	71347
Compressed Size	11954
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	193	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 6

Status	unknown
Inferred Status	None
Size	71366
Compressed Size	11957
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	193	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 7

Status	unknown
Inferred Status	None
Size	71394
Compressed Size	11968
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	194	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 8

Status	unknown
Inferred Status	None
Size	71413
Compressed Size	11969
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	194	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 9

Status	unknown
Inferred Status	None
Size	71433
Compressed Size	11968
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	193	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 10

Status	unknown
Inferred Status	None
Size	71403
Compressed Size	11977
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	196	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 11

Status	unknown
Inferred Status	None
Size	71389
Compressed Size	11973
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	195	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 12

Status	unknown
Inferred Status	None
Size	72257
Compressed Size	12128
Max. Term Depth	10
Asserts	22
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	39	or	6
and	24	=>	16	=	214	forall	4
Int	5	+	8	-	3	*	4
<	6	<=	29	>	7	>=	38

Query 13

Status	unknown
Inferred Status	None
Size	72347
Compressed Size	12155
Max. Term Depth	10
Asserts	22
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	39	or	6
and	25	=>	16	=	214	forall	4
Int	5	+	9	-	3	*	4
<	6	<=	29	>	7	>=	38

Query 14

Status	unknown
Inferred Status	None
Size	71421
Compressed Size	11978
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	37	or	2
and	16	=>	15	=	195	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 15

Status	unknown
Inferred Status	None
Size	72756
Compressed Size	12233
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 16

Status	unknown
Inferred Status	None
Size	72769
Compressed Size	12238
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 17

Status	unknown
Inferred Status	None
Size	72795
Compressed Size	12240
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 18

Status	unknown
Inferred Status	None
Size	72803
Compressed Size	12239
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 19

Status	unknown
Inferred Status	None
Size	72831
Compressed Size	12244
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 20

Status	unknown
Inferred Status	None
Size	72850
Compressed Size	12243
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 21

Status	unknown
Inferred Status	None
Size	72869
Compressed Size	12248
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 22

Status	unknown
Inferred Status	None
Size	72888
Compressed Size	12248
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 23

Status	unknown
Inferred Status	None
Size	72907
Compressed Size	12251
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 24

Status	unknown
Inferred Status	None
Size	72927
Compressed Size	12255
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 25

Status	unknown
Inferred Status	None
Size	72947
Compressed Size	12260
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 26

Status	unknown
Inferred Status	None
Size	72967
Compressed Size	12262
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 27

Status	unknown
Inferred Status	None
Size	73051
Compressed Size	12286
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 28

Status	unknown
Inferred Status	None
Size	73080
Compressed Size	12272
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 29

Status	unknown
Inferred Status	None
Size	73099
Compressed Size	12282
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 30

Status	unknown
Inferred Status	None
Size	73120
Compressed Size	12276
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 31

Status	unknown
Inferred Status	None
Size	73139
Compressed Size	12290
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 32

Status	unknown
Inferred Status	None
Size	73173
Compressed Size	12299
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 33

Status	unknown
Inferred Status	None
Size	73111
Compressed Size	12290
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 34

Status	unknown
Inferred Status	None
Size	73202
Compressed Size	12291
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 35

Status	unknown
Inferred Status	None
Size	73222
Compressed Size	12290
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 36

Status	unknown
Inferred Status	None
Size	73180
Compressed Size	12290
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 37

Status	unknown
Inferred Status	None
Size	73187
Compressed Size	12295
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 38

Status	unknown
Inferred Status	None
Size	73207
Compressed Size	12297
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 39

Status	unknown
Inferred Status	None
Size	73367
Compressed Size	12322
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	221	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 40

Status	unknown
Inferred Status	None
Size	73389
Compressed Size	12323
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 41

Status	unknown
Inferred Status	None
Size	73409
Compressed Size	12323
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 42

Status	unknown
Inferred Status	None
Size	73449
Compressed Size	12325
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	221	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 43

Status	unknown
Inferred Status	None
Size	73462
Compressed Size	12324
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 44

Status	unknown
Inferred Status	None
Size	73482
Compressed Size	12325
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 45

Status	unknown
Inferred Status	None
Size	73348
Compressed Size	12310
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 46

Status	unknown
Inferred Status	None
Size	73439
Compressed Size	12315
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 47

Status	unknown
Inferred Status	None
Size	73459
Compressed Size	12315
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	219	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 48

Status	unknown
Inferred Status	None
Size	73405
Compressed Size	12312
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	42	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 49

Status	unknown
Inferred Status	None
Size	73497
Compressed Size	12325
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	42	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 50

Status	unknown
Inferred Status	None
Size	73517
Compressed Size	12325
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	42	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 51

Status	unknown
Inferred Status	None
Size	73544
Compressed Size	12331
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 52

Status	unknown
Inferred Status	None
Size	73563
Compressed Size	12322
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 53

Status	unknown
Inferred Status	None
Size	73584
Compressed Size	12332
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 54

Status	unknown
Inferred Status	None
Size	73603
Compressed Size	12333
Max. Term Depth	10
Asserts	21
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	41	or	6
and	27	=>	16	=	220	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 55

Status	unknown
Inferred Status	None
Size	74419
Compressed Size	12458
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 56

Status	unknown
Inferred Status	None
Size	74439
Compressed Size	12460
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 57

Status	unknown
Inferred Status	None
Size	74457
Compressed Size	12466
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 58

Status	unknown
Inferred Status	None
Size	74477
Compressed Size	12469
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 59

Status	unknown
Inferred Status	None
Size	74496
Compressed Size	12468
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 60

Status	unknown
Inferred Status	None
Size	74516
Compressed Size	12472
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 61

Status	unknown
Inferred Status	None
Size	74534
Compressed Size	12472
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 62

Status	unknown
Inferred Status	None
Size	74554
Compressed Size	12476
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 63

Status	unknown
Inferred Status	None
Size	74636
Compressed Size	12500
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 64

Status	unknown
Inferred Status	None
Size	74657
Compressed Size	12503
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 65

Status	unknown
Inferred Status	None
Size	74685
Compressed Size	12495
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 66

Status	unknown
Inferred Status	None
Size	74704
Compressed Size	12504
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 67

Status	unknown
Inferred Status	None
Size	74725
Compressed Size	12498
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 68

Status	unknown
Inferred Status	None
Size	74744
Compressed Size	12506
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 69

Status	unknown
Inferred Status	None
Size	74778
Compressed Size	12514
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 70

Status	unknown
Inferred Status	None
Size	74784
Compressed Size	12509
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 71

Status	unknown
Inferred Status	None
Size	74806
Compressed Size	12513
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 72

Status	unknown
Inferred Status	None
Size	74823
Compressed Size	12524
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 73

Status	unknown
Inferred Status	None
Size	74845
Compressed Size	12527
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 74

Status	unknown
Inferred Status	None
Size	74877
Compressed Size	12533
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 75

Status	unknown
Inferred Status	None
Size	74887
Compressed Size	12521
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 76

Status	unknown
Inferred Status	None
Size	74907
Compressed Size	12528
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 77

Status	unknown
Inferred Status	None
Size	74926
Compressed Size	12525
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 78

Status	unknown
Inferred Status	None
Size	74948
Compressed Size	12530
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 79

Status	unknown
Inferred Status	None
Size	75032
Compressed Size	12548
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	258	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 80

Status	unknown
Inferred Status	None
Size	75053
Compressed Size	12554
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	258	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 81

Status	unknown
Inferred Status	None
Size	75074
Compressed Size	12543
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 82

Status	unknown
Inferred Status	None
Size	75094
Compressed Size	12545
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 83

Status	unknown
Inferred Status	None
Size	75134
Compressed Size	12550
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	258	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 84

Status	unknown
Inferred Status	None
Size	75133
Compressed Size	12562
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 85

Status	unknown
Inferred Status	None
Size	75155
Compressed Size	12560
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 86

Status	unknown
Inferred Status	None
Size	75193
Compressed Size	12563
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	258	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 87

Status	unknown
Inferred Status	None
Size	75207
Compressed Size	12553
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 88

Status	unknown
Inferred Status	None
Size	75227
Compressed Size	12554
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 89

Status	unknown
Inferred Status	None
Size	75246
Compressed Size	12565
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 90

Status	unknown
Inferred Status	None
Size	75268
Compressed Size	12564
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 91

Status	unknown
Inferred Status	None
Size	75204
Compressed Size	12554
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 92

Status	unknown
Inferred Status	None
Size	75224
Compressed Size	12557
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 93

Status	unknown
Inferred Status	None
Size	75243
Compressed Size	12559
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 94

Status	unknown
Inferred Status	None
Size	75265
Compressed Size	12558
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	30	>	7	>=	38

Query 95

Status	unknown
Inferred Status	None
Size	75282
Compressed Size	12567
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	48	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 96

Status	unknown
Inferred Status	None
Size	75302
Compressed Size	12567
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	48	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 97

Status	unknown
Inferred Status	None
Size	75321
Compressed Size	12570
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	48	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 98

Status	unknown
Inferred Status	None
Size	75343
Compressed Size	12569
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	48	or	10
and	33	=>	20	=	257	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 99

Status	unknown
Inferred Status	None
Size	75301
Compressed Size	12563
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38

Query 100

Status	unknown
Inferred Status	None
Size	75315
Compressed Size	12563
Max. Term Depth	10
Asserts	31
Declared Functions	115
Declared Constants	1016
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	47	or	10
and	33	=>	20	=	256	forall	4
Int	5	+	8	-	3	*	4
<	5	<=	29	>	7	>=	38