Benchmark

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

Benchmark without description.

Benchmark
Size	400361
Compressed Size	26378
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	217

Query 1

Status	unknown
Inferred Status	None
Size	89388
Compressed Size	14570
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	89434
Compressed Size	14581
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	89458
Compressed Size	14577
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 4

Status	unknown
Inferred Status	None
Size	89481
Compressed Size	14581
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 5

Status	unknown
Inferred Status	None
Size	89487
Compressed Size	14580
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 6

Status	unknown
Inferred Status	None
Size	89619
Compressed Size	14630
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 7

Status	unknown
Inferred Status	None
Size	89802
Compressed Size	14643
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	17
Declared Datatypes	0

Symbols

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

Query 8

Status	unknown
Inferred Status	None
Size	89844
Compressed Size	14675
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	17
Declared Datatypes	0

Symbols

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

Query 9

Status	unknown
Inferred Status	None
Size	115150
Compressed Size	17813
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 10

Status	unknown
Inferred Status	None
Size	115246
Compressed Size	17841
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 11

Status	unknown
Inferred Status	None
Size	115343
Compressed Size	17864
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 12

Status	unknown
Inferred Status	None
Size	115440
Compressed Size	17885
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 13

Status	unknown
Inferred Status	None
Size	115538
Compressed Size	17910
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 14

Status	unknown
Inferred Status	None
Size	115635
Compressed Size	17931
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 15

Status	unknown
Inferred Status	None
Size	115732
Compressed Size	17954
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 16

Status	unknown
Inferred Status	None
Size	115829
Compressed Size	17979
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 17

Status	unknown
Inferred Status	None
Size	115939
Compressed Size	18019
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 18

Status	unknown
Inferred Status	None
Size	116050
Compressed Size	18040
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 19

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

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 20

Status	unknown
Inferred Status	None
Size	116272
Compressed Size	18080
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 21

Status	unknown
Inferred Status	None
Size	116383
Compressed Size	18099
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 22

Status	unknown
Inferred Status	None
Size	116494
Compressed Size	18124
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 23

Status	unknown
Inferred Status	None
Size	116605
Compressed Size	18141
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 24

Status	unknown
Inferred Status	None
Size	116716
Compressed Size	18163
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	98	-	106
<	38	<=	13	>	101	>=	19

Query 25

Status	unknown
Inferred Status	None
Size	131619
Compressed Size	19423
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	228
Declared Datatypes	0

Symbols

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

Query 26

Status	unknown
Inferred Status	None
Size	116850
Compressed Size	18198
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	228
Declared Datatypes	0

Symbols

true	7	Bool	228	not	122	or	1
and	156	=>	146	=	940	forall	5
Int	5	div	1	+	97	-	106
<	38	<=	13	>	101	>=	19

Query 27

Status	unknown
Inferred Status	None
Size	96039
Compressed Size	15409
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	94
Declared Datatypes	0

Symbols

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

Query 28

Status	unknown
Inferred Status	None
Size	96055
Compressed Size	15419
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	94
Declared Datatypes	0

Symbols

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

Query 29

Status	unknown
Inferred Status	None
Size	96095
Compressed Size	15425
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	94
Declared Datatypes	0

Symbols

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

Query 30

Status	unknown
Inferred Status	None
Size	96111
Compressed Size	15431
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	94
Declared Datatypes	0

Symbols

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

Query 31

Status	unknown
Inferred Status	None
Size	96170
Compressed Size	15443
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	94
Declared Datatypes	0

Symbols

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

Query 32

Status	unknown
Inferred Status	None
Size	96277
Compressed Size	15444
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	94
Declared Datatypes	0

Symbols

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

Query 33

Status	unknown
Inferred Status	None
Size	96238
Compressed Size	15442
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	94
Declared Datatypes	0

Symbols

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

Query 34

Status	unknown
Inferred Status	None
Size	96279
Compressed Size	15446
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	94
Declared Datatypes	0

Symbols

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

Query 35

Status	unknown
Inferred Status	None
Size	96346
Compressed Size	15457
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	94
Declared Datatypes	0

Symbols

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

Query 36

Status	unknown
Inferred Status	None
Size	106397
Compressed Size	16415
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	94
Declared Datatypes	0

Symbols

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

Query 37

Status	unknown
Inferred Status	None
Size	96323
Compressed Size	15473
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	94
Declared Datatypes	0

Symbols

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

Query 38

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

Symbols

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

Query 39

Status	unknown
Inferred Status	None
Size	96381
Compressed Size	15475
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	94
Declared Datatypes	0

Symbols

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

Query 40

Status	unknown
Inferred Status	None
Size	106465
Compressed Size	16427
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	94
Declared Datatypes	0

Symbols

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

Query 41

Status	unknown
Inferred Status	None
Size	106484
Compressed Size	16432
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	94
Declared Datatypes	0

Symbols

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

Query 42

Status	unknown
Inferred Status	None
Size	106504
Compressed Size	16436
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	94
Declared Datatypes	0

Symbols

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

Query 43

Status	unknown
Inferred Status	None
Size	106524
Compressed Size	16438
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	94
Declared Datatypes	0

Symbols

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

Query 44

Status	unknown
Inferred Status	None
Size	106544
Compressed Size	16445
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	94
Declared Datatypes	0

Symbols

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

Query 45

Status	unknown
Inferred Status	None
Size	106564
Compressed Size	16450
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	94
Declared Datatypes	0

Symbols

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

Query 46

Status	unknown
Inferred Status	None
Size	106584
Compressed Size	16449
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	94
Declared Datatypes	0

Symbols

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

Query 47

Status	unknown
Inferred Status	None
Size	106604
Compressed Size	16453
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	94
Declared Datatypes	0

Symbols

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

Query 48

Status	unknown
Inferred Status	None
Size	106624
Compressed Size	16455
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	94
Declared Datatypes	0

Symbols

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

Query 49

Status	unknown
Inferred Status	None
Size	106644
Compressed Size	16458
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	94
Declared Datatypes	0

Symbols

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

Query 50

Status	unknown
Inferred Status	None
Size	106664
Compressed Size	16463
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	94
Declared Datatypes	0

Symbols

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

Query 51

Status	unknown
Inferred Status	None
Size	106684
Compressed Size	16461
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	94
Declared Datatypes	0

Symbols

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

Query 52

Status	unknown
Inferred Status	None
Size	106704
Compressed Size	16464
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	94
Declared Datatypes	0

Symbols

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

Query 53

Status	unknown
Inferred Status	None
Size	106724
Compressed Size	16464
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	94
Declared Datatypes	0

Symbols

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

Query 54

Status	unknown
Inferred Status	None
Size	106744
Compressed Size	16470
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	94
Declared Datatypes	0

Symbols

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

Query 55

Status	unknown
Inferred Status	None
Size	106764
Compressed Size	16466
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	94
Declared Datatypes	0

Symbols

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

Query 56

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

Symbols

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

Query 57

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

Symbols

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

Query 58

Status	unknown
Inferred Status	None
Size	96740
Compressed Size	15520
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	94
Declared Datatypes	0

Symbols

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

Query 59

Status	unknown
Inferred Status	None
Size	96760
Compressed Size	15523
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	94
Declared Datatypes	0

Symbols

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

Query 60

Status	unknown
Inferred Status	None
Size	96780
Compressed Size	15523
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	94
Declared Datatypes	0

Symbols

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

Query 61

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

Symbols

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

Query 62

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

Symbols

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

Query 63

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

Symbols

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

Query 64

Status	unknown
Inferred Status	None
Size	96860
Compressed Size	15532
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	94
Declared Datatypes	0

Symbols

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

Query 65

Status	unknown
Inferred Status	None
Size	96880
Compressed Size	15533
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	94
Declared Datatypes	0

Symbols

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

Query 66

Status	unknown
Inferred Status	None
Size	96900
Compressed Size	15536
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	94
Declared Datatypes	0

Symbols

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

Query 67

Status	unknown
Inferred Status	None
Size	96920
Compressed Size	15536
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	94
Declared Datatypes	0

Symbols

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

Query 68

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

Symbols

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

Query 69

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

Symbols

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

Query 70

Status	unknown
Inferred Status	None
Size	96980
Compressed Size	15540
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	94
Declared Datatypes	0

Symbols

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

Query 71

Status	unknown
Inferred Status	None
Size	97000
Compressed Size	15545
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	94
Declared Datatypes	0

Symbols

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

Query 72

Status	unknown
Inferred Status	None
Size	97029
Compressed Size	15548
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	94
Declared Datatypes	0

Symbols

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

Query 73

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

Symbols

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

Query 74

Status	unknown
Inferred Status	None
Size	97069
Compressed Size	15551
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	94
Declared Datatypes	0

Symbols

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

Query 75

Status	unknown
Inferred Status	None
Size	97089
Compressed Size	15553
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	94
Declared Datatypes	0

Symbols

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

Query 76

Status	unknown
Inferred Status	None
Size	97109
Compressed Size	15553
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	94
Declared Datatypes	0

Symbols

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

Query 77

Status	unknown
Inferred Status	None
Size	97129
Compressed Size	15557
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	94
Declared Datatypes	0

Symbols

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

Query 78

Status	unknown
Inferred Status	None
Size	97149
Compressed Size	15559
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	94
Declared Datatypes	0

Symbols

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

Query 79

Status	unknown
Inferred Status	None
Size	97169
Compressed Size	15562
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	94
Declared Datatypes	0

Symbols

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

Query 80

Status	unknown
Inferred Status	None
Size	97189
Compressed Size	15563
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	94
Declared Datatypes	0

Symbols

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

Query 81

Status	unknown
Inferred Status	None
Size	97209
Compressed Size	15563
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	94
Declared Datatypes	0

Symbols

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

Query 82

Status	unknown
Inferred Status	None
Size	97229
Compressed Size	15567
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	94
Declared Datatypes	0

Symbols

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

Query 83

Status	unknown
Inferred Status	None
Size	97249
Compressed Size	15569
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	94
Declared Datatypes	0

Symbols

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

Query 84

Status	unknown
Inferred Status	None
Size	97269
Compressed Size	15570
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	94
Declared Datatypes	0

Symbols

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

Query 85

Status	unknown
Inferred Status	None
Size	97289
Compressed Size	15573
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	94
Declared Datatypes	0

Symbols

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

Query 86

Status	unknown
Inferred Status	None
Size	97309
Compressed Size	15573
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	94
Declared Datatypes	0

Symbols

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

Query 87

Status	unknown
Inferred Status	None
Size	97329
Compressed Size	15575
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	94
Declared Datatypes	0

Symbols

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

Query 88

Status	unknown
Inferred Status	None
Size	97389
Compressed Size	15579
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	94
Declared Datatypes	0

Symbols

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

Query 89

Status	unknown
Inferred Status	None
Size	97409
Compressed Size	15581
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	94
Declared Datatypes	0

Symbols

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

Query 90

Status	unknown
Inferred Status	None
Size	97429
Compressed Size	15582
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	94
Declared Datatypes	0

Symbols

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

Query 91

Status	unknown
Inferred Status	None
Size	97449
Compressed Size	15587
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	94
Declared Datatypes	0

Symbols

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

Query 92

Status	unknown
Inferred Status	None
Size	97469
Compressed Size	15587
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	94
Declared Datatypes	0

Symbols

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

Query 93

Status	unknown
Inferred Status	None
Size	97489
Compressed Size	15590
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	94
Declared Datatypes	0

Symbols

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

Query 94

Status	unknown
Inferred Status	None
Size	97509
Compressed Size	15592
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	94
Declared Datatypes	0

Symbols

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

Query 95

Status	unknown
Inferred Status	None
Size	97529
Compressed Size	15593
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	94
Declared Datatypes	0

Symbols

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

Query 96

Status	unknown
Inferred Status	None
Size	97549
Compressed Size	15595
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	94
Declared Datatypes	0

Symbols

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

Query 97

Status	unknown
Inferred Status	None
Size	97569
Compressed Size	15596
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	94
Declared Datatypes	0

Symbols

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

Query 98

Status	unknown
Inferred Status	None
Size	97589
Compressed Size	15600
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	94
Declared Datatypes	0

Symbols

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

Query 99

Status	unknown
Inferred Status	None
Size	97609
Compressed Size	15602
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	94
Declared Datatypes	0

Symbols

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

Query 100

Status	unknown
Inferred Status	None
Size	97629
Compressed Size	15603
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	94
Declared Datatypes	0

Symbols

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