Benchmark

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

Benchmark without description.

Benchmark
Size	376750
Compressed Size	25553
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	173

Query 1

Status	unknown
Inferred Status	None
Size	89388
Compressed Size	14564
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	74	or	1
and	11	=>	17	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 2

Status	unknown
Inferred Status	None
Size	89439
Compressed Size	14572
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	74	or	1
and	11	=>	17	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 3

Status	unknown
Inferred Status	None
Size	89462
Compressed Size	14572
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	74	or	1
and	11	=>	17	=	693	forall	5
Int	5	div	1	+	1	-	11
<	6	<=	13	>	5	>=	19

Query 4

Status	unknown
Inferred Status	None
Size	89468
Compressed Size	14572
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	74	or	1
and	11	=>	17	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 5

Status	unknown
Inferred Status	None
Size	89619
Compressed Size	14625
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 6

Status	unknown
Inferred Status	None
Size	130191
Compressed Size	19176
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	212
Declared Datatypes	0

Symbols

true	7	Bool	212	not	170	or	1
and	301	=>	274	=	1180	forall	5
exists	1	Int	21	div	1	+	161
-	202	<	70	<=	13	>	197
>=	19

Query 7

Status	unknown
Inferred Status	None
Size	95915
Compressed Size	15391
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 8

Status	unknown
Inferred Status	None
Size	96022
Compressed Size	15400
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	762	forall	5
Int	5	div	1	+	1	-	20
<	15	<=	13	>	15	>=	19

Query 9

Status	unknown
Inferred Status	None
Size	95983
Compressed Size	15395
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	762	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 10

Status	unknown
Inferred Status	None
Size	96024
Compressed Size	15400
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	762	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	14	>=	19

Query 11

Status	unknown
Inferred Status	None
Size	96091
Compressed Size	15408
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	762	forall	5
Int	5	div	1	+	1	-	20
<	15	<=	13	>	15	>=	19

Query 12

Status	unknown
Inferred Status	None
Size	106141
Compressed Size	16362
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 13

Status	unknown
Inferred Status	None
Size	96106
Compressed Size	15424
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 14

Status	unknown
Inferred Status	None
Size	96103
Compressed Size	15418
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 15

Status	unknown
Inferred Status	None
Size	106186
Compressed Size	16364
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 16

Status	unknown
Inferred Status	None
Size	106205
Compressed Size	16372
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 17

Status	unknown
Inferred Status	None
Size	106225
Compressed Size	16370
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 18

Status	unknown
Inferred Status	None
Size	106245
Compressed Size	16375
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 19

Status	unknown
Inferred Status	None
Size	106265
Compressed Size	16384
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 20

Status	unknown
Inferred Status	None
Size	106285
Compressed Size	16390
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 21

Status	unknown
Inferred Status	None
Size	106305
Compressed Size	16390
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 22

Status	unknown
Inferred Status	None
Size	106325
Compressed Size	16396
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 23

Status	unknown
Inferred Status	None
Size	106345
Compressed Size	16400
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 24

Status	unknown
Inferred Status	None
Size	106365
Compressed Size	16401
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 25

Status	unknown
Inferred Status	None
Size	106385
Compressed Size	16408
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 26

Status	unknown
Inferred Status	None
Size	106405
Compressed Size	16406
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 27

Status	unknown
Inferred Status	None
Size	106425
Compressed Size	16410
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 28

Status	unknown
Inferred Status	None
Size	106445
Compressed Size	16411
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 29

Status	unknown
Inferred Status	None
Size	106465
Compressed Size	16412
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 30

Status	unknown
Inferred Status	None
Size	106485
Compressed Size	16411
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 31

Status	unknown
Inferred Status	None
Size	96421
Compressed Size	15464
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 32

Status	unknown
Inferred Status	None
Size	96441
Compressed Size	15469
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 33

Status	unknown
Inferred Status	None
Size	96461
Compressed Size	15469
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 34

Status	unknown
Inferred Status	None
Size	96481
Compressed Size	15471
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 35

Status	unknown
Inferred Status	None
Size	96501
Compressed Size	15472
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 36

Status	unknown
Inferred Status	None
Size	96521
Compressed Size	15474
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 37

Status	unknown
Inferred Status	None
Size	96541
Compressed Size	15477
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 38

Status	unknown
Inferred Status	None
Size	96561
Compressed Size	15477
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 39

Status	unknown
Inferred Status	None
Size	96581
Compressed Size	15479
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 40

Status	unknown
Inferred Status	None
Size	96601
Compressed Size	15480
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 41

Status	unknown
Inferred Status	None
Size	96621
Compressed Size	15483
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 42

Status	unknown
Inferred Status	None
Size	96641
Compressed Size	15487
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 43

Status	unknown
Inferred Status	None
Size	96661
Compressed Size	15487
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 44

Status	unknown
Inferred Status	None
Size	96681
Compressed Size	15490
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 45

Status	unknown
Inferred Status	None
Size	96701
Compressed Size	15492
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 46

Status	unknown
Inferred Status	None
Size	96721
Compressed Size	15494
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 47

Status	unknown
Inferred Status	None
Size	96790
Compressed Size	15501
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 48

Status	unknown
Inferred Status	None
Size	96810
Compressed Size	15504
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 49

Status	unknown
Inferred Status	None
Size	96830
Compressed Size	15505
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 50

Status	unknown
Inferred Status	None
Size	96850
Compressed Size	15506
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 51

Status	unknown
Inferred Status	None
Size	96870
Compressed Size	15509
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 52

Status	unknown
Inferred Status	None
Size	96890
Compressed Size	15511
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 53

Status	unknown
Inferred Status	None
Size	96910
Compressed Size	15514
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 54

Status	unknown
Inferred Status	None
Size	96930
Compressed Size	15515
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 55

Status	unknown
Inferred Status	None
Size	96950
Compressed Size	15518
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 56

Status	unknown
Inferred Status	None
Size	96970
Compressed Size	15518
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 57

Status	unknown
Inferred Status	None
Size	96990
Compressed Size	15519
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 58

Status	unknown
Inferred Status	None
Size	97010
Compressed Size	15522
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 59

Status	unknown
Inferred Status	None
Size	97030
Compressed Size	15522
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 60

Status	unknown
Inferred Status	None
Size	97050
Compressed Size	15524
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 61

Status	unknown
Inferred Status	None
Size	97070
Compressed Size	15525
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 62

Status	unknown
Inferred Status	None
Size	97090
Compressed Size	15529
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 63

Status	unknown
Inferred Status	None
Size	97088
Compressed Size	15521
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 64

Status	unknown
Inferred Status	None
Size	97108
Compressed Size	15524
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 65

Status	unknown
Inferred Status	None
Size	97128
Compressed Size	15524
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 66

Status	unknown
Inferred Status	None
Size	97148
Compressed Size	15526
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 67

Status	unknown
Inferred Status	None
Size	97168
Compressed Size	15528
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 68

Status	unknown
Inferred Status	None
Size	97188
Compressed Size	15531
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 69

Status	unknown
Inferred Status	None
Size	97208
Compressed Size	15534
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 70

Status	unknown
Inferred Status	None
Size	97228
Compressed Size	15535
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 71

Status	unknown
Inferred Status	None
Size	97248
Compressed Size	15538
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 72

Status	unknown
Inferred Status	None
Size	97268
Compressed Size	15539
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 73

Status	unknown
Inferred Status	None
Size	97288
Compressed Size	15539
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 74

Status	unknown
Inferred Status	None
Size	97308
Compressed Size	15542
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 75

Status	unknown
Inferred Status	None
Size	97328
Compressed Size	15544
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 76

Status	unknown
Inferred Status	None
Size	97348
Compressed Size	15546
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 77

Status	unknown
Inferred Status	None
Size	97368
Compressed Size	15547
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 78

Status	unknown
Inferred Status	None
Size	97388
Compressed Size	15549
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 79

Status	unknown
Inferred Status	None
Size	107574
Compressed Size	16521
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	99	or	1
and	27	=>	25	=	822	forall	5
exists	1	Int	6	div	1	+	1
-	20	<	19	<=	13	>	15
>=	19

Query 80

Status	unknown
Inferred Status	None
Size	97540
Compressed Size	15588
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	18
<	15	<=	13	>	13	>=	19

Query 81

Status	unknown
Inferred Status	None
Size	97538
Compressed Size	15578
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	92
Declared Datatypes	0

Symbols

true	7	Bool	92	not	97	or	1
and	21	=>	22	=	761	forall	5
Int	5	div	1	+	1	-	19
<	15	<=	13	>	13	>=	19

Query 82

Status	unknown
Inferred Status	None
Size	92615
Compressed Size	14919
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	11	=>	17	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 83

Status	unknown
Inferred Status	None
Size	92650
Compressed Size	14924
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	11	=>	17	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 84

Status	unknown
Inferred Status	None
Size	92674
Compressed Size	14939
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 85

Status	unknown
Inferred Status	None
Size	92709
Compressed Size	14942
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 86

Status	unknown
Inferred Status	None
Size	92722
Compressed Size	14950
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 87

Status	unknown
Inferred Status	None
Size	92757
Compressed Size	14955
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 88

Status	unknown
Inferred Status	None
Size	92770
Compressed Size	14964
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 89

Status	unknown
Inferred Status	None
Size	92805
Compressed Size	14968
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 90

Status	unknown
Inferred Status	None
Size	92818
Compressed Size	14972
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 91

Status	unknown
Inferred Status	None
Size	92854
Compressed Size	14977
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 92

Status	unknown
Inferred Status	None
Size	92869
Compressed Size	14984
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 93

Status	unknown
Inferred Status	None
Size	92905
Compressed Size	14989
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 94

Status	unknown
Inferred Status	None
Size	92921
Compressed Size	14997
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 95

Status	unknown
Inferred Status	None
Size	92957
Compressed Size	15003
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 96

Status	unknown
Inferred Status	None
Size	92973
Compressed Size	15005
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 97

Status	unknown
Inferred Status	None
Size	93009
Compressed Size	15009
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 98

Status	unknown
Inferred Status	None
Size	93025
Compressed Size	15015
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 99

Status	unknown
Inferred Status	None
Size	93061
Compressed Size	15019
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19

Query 100

Status	unknown
Inferred Status	None
Size	93077
Compressed Size	15025
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1180
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	7	Bool	74	not	74	or	1
and	12	=>	18	=	693	forall	5
Int	5	div	1	+	1	-	10
<	6	<=	13	>	5	>=	19