Benchmark

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

Benchmark without description.

Benchmark
Size	156950
Compressed Size	21112
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	152

Query 1

Status	unknown
Inferred Status	None
Size	98992
Compressed Size	16010
Max. Term Depth	34
Asserts	10
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	85	and	79
=>	97	=	748	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 2

Status	unknown
Inferred Status	None
Size	99537
Compressed Size	16104
Max. Term Depth	34
Asserts	25
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	86	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 3

Status	unknown
Inferred Status	None
Size	99954
Compressed Size	16191
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 4

Status	unknown
Inferred Status	None
Size	99936
Compressed Size	16196
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	755	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 5

Status	unknown
Inferred Status	None
Size	100033
Compressed Size	16197
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	755	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 6

Status	unknown
Inferred Status	None
Size	100034
Compressed Size	16221
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 7

Status	unknown
Inferred Status	None
Size	100061
Compressed Size	16223
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	88	and	79
=>	97	=	755	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 8

Status	unknown
Inferred Status	None
Size	100060
Compressed Size	16219
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 9

Status	unknown
Inferred Status	None
Size	100094
Compressed Size	16225
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 10

Status	unknown
Inferred Status	None
Size	100175
Compressed Size	16243
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 11

Status	unknown
Inferred Status	None
Size	100149
Compressed Size	16243
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	755	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 12

Status	unknown
Inferred Status	None
Size	100288
Compressed Size	16273
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	755	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 13

Status	unknown
Inferred Status	None
Size	100268
Compressed Size	16258
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	6	<=	51	>	2
>=	38

Query 14

Status	unknown
Inferred Status	None
Size	99931
Compressed Size	16187
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 15

Status	unknown
Inferred Status	None
Size	99913
Compressed Size	16191
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 16

Status	unknown
Inferred Status	None
Size	100010
Compressed Size	16191
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 17

Status	unknown
Inferred Status	None
Size	100011
Compressed Size	16216
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	53	>	2
>=	39

Query 18

Status	unknown
Inferred Status	None
Size	100038
Compressed Size	16219
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	88	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 19

Status	unknown
Inferred Status	None
Size	100037
Compressed Size	16214
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 20

Status	unknown
Inferred Status	None
Size	100071
Compressed Size	16222
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 21

Status	unknown
Inferred Status	None
Size	100152
Compressed Size	16238
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 22

Status	unknown
Inferred Status	None
Size	100126
Compressed Size	16237
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 23

Status	unknown
Inferred Status	None
Size	100265
Compressed Size	16266
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	754	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 24

Status	unknown
Inferred Status	None
Size	100245
Compressed Size	16256
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	39

Query 25

Status	unknown
Inferred Status	None
Size	101962
Compressed Size	16575
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 26

Status	unknown
Inferred Status	None
Size	102045
Compressed Size	16605
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	21	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 27

Status	unknown
Inferred Status	None
Size	102027
Compressed Size	16587
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	84
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	58	>	2
>=	44

Query 28

Status	unknown
Inferred Status	None
Size	102029
Compressed Size	16587
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 29

Status	unknown
Inferred Status	None
Size	102063
Compressed Size	16597
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 30

Status	unknown
Inferred Status	None
Size	102075
Compressed Size	16595
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	37
*	4	<	12	<=	57	>	2
>=	43

Query 31

Status	unknown
Inferred Status	None
Size	102116
Compressed Size	16601
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 32

Status	unknown
Inferred Status	None
Size	102233
Compressed Size	16615
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	38
*	4	<	14	<=	57	>	2
>=	43

Query 33

Status	unknown
Inferred Status	None
Size	102138
Compressed Size	16603
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 34

Status	unknown
Inferred Status	None
Size	102149
Compressed Size	16601
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	37
*	4	<	12	<=	58	>	2
>=	43

Query 35

Status	unknown
Inferred Status	None
Size	102161
Compressed Size	16605
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 36

Status	unknown
Inferred Status	None
Size	102183
Compressed Size	16610
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 37

Status	unknown
Inferred Status	None
Size	102278
Compressed Size	16639
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	21	-	37
*	4	<	12	<=	58	>	2
>=	43

Query 38

Status	unknown
Inferred Status	None
Size	102313
Compressed Size	16643
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	88	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 39

Status	unknown
Inferred Status	None
Size	102357
Compressed Size	16648
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	84
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	37
*	4	<	12	<=	58	>	2
>=	44

Query 40

Status	unknown
Inferred Status	None
Size	102363
Compressed Size	16651
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 41

Status	unknown
Inferred Status	None
Size	102452
Compressed Size	16676
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	21	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 42

Status	unknown
Inferred Status	None
Size	102424
Compressed Size	16669
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 43

Status	unknown
Inferred Status	None
Size	102465
Compressed Size	16675
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	21	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 44

Status	unknown
Inferred Status	None
Size	102493
Compressed Size	16677
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	84
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	22	-	36
*	4	<	12	<=	58	>	2
>=	44

Query 45

Status	unknown
Inferred Status	None
Size	102624
Compressed Size	16683
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	22	-	38
*	4	<	14	<=	57	>	2
>=	43

Query 46

Status	unknown
Inferred Status	None
Size	102555
Compressed Size	16687
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 47

Status	unknown
Inferred Status	None
Size	102561
Compressed Size	16691
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	21	-	37
*	4	<	12	<=	57	>	2
>=	43

Query 48

Status	unknown
Inferred Status	None
Size	102600
Compressed Size	16697
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 49

Status	unknown
Inferred Status	None
Size	102611
Compressed Size	16691
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	23	-	38
*	4	<	13	<=	57	>	2
>=	43

Query 50

Status	unknown
Inferred Status	None
Size	102589
Compressed Size	16682
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	20	-	37
*	4	<	12	<=	58	>	2
>=	43

Query 51

Status	unknown
Inferred Status	None
Size	102626
Compressed Size	16693
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	769	forall	76	exists	1
Int	103	div	1	+	21	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 52

Status	unknown
Inferred Status	None
Size	102623
Compressed Size	16694
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	54
Declared Datatypes	0

Symbols

true	6	Bool	54	not	87	and	83
=>	100	=	770	forall	76	exists	1
Int	103	div	1	+	20	-	36
*	4	<	12	<=	57	>	2
>=	43

Query 53

Status	unknown
Inferred Status	None
Size	101346
Compressed Size	16448
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	762	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 54

Status	unknown
Inferred Status	None
Size	101359
Compressed Size	16451
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	763	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 55

Status	unknown
Inferred Status	None
Size	101428
Compressed Size	16453
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	763	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 56

Status	unknown
Inferred Status	None
Size	101427
Compressed Size	16471
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	762	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	59	>	2
>=	46

Query 57

Status	unknown
Inferred Status	None
Size	101454
Compressed Size	16470
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	88	and	86
=>	100	=	763	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 58

Status	unknown
Inferred Status	None
Size	101450
Compressed Size	16468
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	762	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 59

Status	unknown
Inferred Status	None
Size	101484
Compressed Size	16479
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	762	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 60

Status	unknown
Inferred Status	None
Size	101568
Compressed Size	16492
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	762	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 61

Status	unknown
Inferred Status	None
Size	101573
Compressed Size	16489
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	763	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 62

Status	unknown
Inferred Status	None
Size	101684
Compressed Size	16520
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	763	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	4	<=	58	>	2
>=	46

Query 63

Status	unknown
Inferred Status	None
Size	101664
Compressed Size	16508
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	87	and	86
=>	100	=	762	forall	78	exists	2
Int	108	div	1	+	14	-	31
*	4	<	5	<=	58	>	2
>=	46

Query 64

Status	unknown
Inferred Status	None
Size	99738
Compressed Size	16162
Max. Term Depth	34
Asserts	24
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	85	and	79
=>	97	=	764	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 65

Status	unknown
Inferred Status	None
Size	100417
Compressed Size	16258
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	766	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 66

Status	unknown
Inferred Status	None
Size	100474
Compressed Size	16274
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	766	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 67

Status	unknown
Inferred Status	None
Size	100487
Compressed Size	16275
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	767	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 68

Status	unknown
Inferred Status	None
Size	100556
Compressed Size	16275
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	767	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 69

Status	unknown
Inferred Status	None
Size	100554
Compressed Size	16298
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	766	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	38

Query 70

Status	unknown
Inferred Status	None
Size	100581
Compressed Size	16301
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	88	and	79
=>	97	=	767	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 71

Status	unknown
Inferred Status	None
Size	100577
Compressed Size	16298
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	766	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 72

Status	unknown
Inferred Status	None
Size	100611
Compressed Size	16302
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	766	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 73

Status	unknown
Inferred Status	None
Size	100695
Compressed Size	16318
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	766	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 74

Status	unknown
Inferred Status	None
Size	100701
Compressed Size	16320
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	767	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 75

Status	unknown
Inferred Status	None
Size	100812
Compressed Size	16352
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	767	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 76

Status	unknown
Inferred Status	None
Size	100792
Compressed Size	16342
Max. Term Depth	34
Asserts	23
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	87	and	79
=>	97	=	766	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 77

Status	unknown
Inferred Status	None
Size	99480
Compressed Size	16093
Max. Term Depth	34
Asserts	25
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	85	and	78
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 78

Status	unknown
Inferred Status	None
Size	99475
Compressed Size	16089
Max. Term Depth	34
Asserts	25
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	85	and	78
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 79

Status	unknown
Inferred Status	None
Size	99506
Compressed Size	16096
Max. Term Depth	34
Asserts	25
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	85	and	79
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 80

Status	unknown
Inferred Status	None
Size	99548
Compressed Size	16107
Max. Term Depth	34
Asserts	25
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	85	and	79
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 81

Status	unknown
Inferred Status	None
Size	99490
Compressed Size	16109
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	86	and	79
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 82

Status	unknown
Inferred Status	None
Size	99487
Compressed Size	16106
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	86	and	79
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 83

Status	unknown
Inferred Status	None
Size	99574
Compressed Size	16125
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	86	and	79
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 84

Status	unknown
Inferred Status	None
Size	99544
Compressed Size	16121
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	86	and	79
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 85

Status	unknown
Inferred Status	None
Size	99586
Compressed Size	16133
Max. Term Depth	34
Asserts	13
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	86	and	79
=>	97	=	751	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 86

Status	unknown
Inferred Status	None
Size	99838
Compressed Size	16188
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 87

Status	unknown
Inferred Status	None
Size	99883
Compressed Size	16197
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 88

Status	unknown
Inferred Status	None
Size	99944
Compressed Size	16211
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 89

Status	unknown
Inferred Status	None
Size	99925
Compressed Size	16214
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 90

Status	unknown
Inferred Status	None
Size	99968
Compressed Size	16224
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 91

Status	unknown
Inferred Status	None
Size	99971
Compressed Size	16222
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 92

Status	unknown
Inferred Status	None
Size	100014
Compressed Size	16233
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 93

Status	unknown
Inferred Status	None
Size	100017
Compressed Size	16231
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 94

Status	unknown
Inferred Status	None
Size	100060
Compressed Size	16242
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	79
=>	97	=	753	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 95

Status	unknown
Inferred Status	None
Size	99741
Compressed Size	16151
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	86	and	79
=>	97	=	752	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 96

Status	unknown
Inferred Status	None
Size	99786
Compressed Size	16161
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	86	and	79
=>	97	=	752	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 97

Status	unknown
Inferred Status	None
Size	99847
Compressed Size	16172
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	86	and	79
=>	97	=	752	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 98

Status	unknown
Inferred Status	None
Size	99828
Compressed Size	16176
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	86	and	79
=>	97	=	752	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 99

Status	unknown
Inferred Status	None
Size	99871
Compressed Size	16187
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	86	and	79
=>	97	=	752	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 100

Status	unknown
Inferred Status	None
Size	99874
Compressed Size	16184
Max. Term Depth	34
Asserts	17
Declared Functions	143
Declared Constants	1064
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	86	and	79
=>	97	=	752	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39