Benchmark

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

Benchmark without description.

Benchmark
Size	261528
Compressed Size	26613
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	307

Query 1

Status	unknown
Inferred Status	None
Size	111801
Compressed Size	17717
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	and	60
=>	84	=	708	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	37	>	3
>=	38

Query 2

Status	unknown
Inferred Status	None
Size	111847
Compressed Size	17732
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	and	60
=>	84	=	708	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	37	>	3
>=	38

Query 3

Status	unknown
Inferred Status	None
Size	111866
Compressed Size	17732
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	and	60
=>	84	=	708	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	37	>	3
>=	38

Query 4

Status	unknown
Inferred Status	None
Size	111931
Compressed Size	17731
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	86	and	61
=>	84	=	707	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	38	>	3
>=	39

Query 5

Status	unknown
Inferred Status	None
Size	111950
Compressed Size	17741
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	86	and	61
=>	84	=	707	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	38	>	3
>=	39

Query 6

Status	unknown
Inferred Status	None
Size	111969
Compressed Size	17737
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	86	and	61
=>	84	=	707	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	38	>	3
>=	39

Query 7

Status	unknown
Inferred Status	None
Size	112614
Compressed Size	17894
Max. Term Depth	34
Asserts	16
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	85	and	63
=>	95	=	728	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	9	<=	36	>	3
>=	37

Query 8

Status	unknown
Inferred Status	None
Size	114972
Compressed Size	18144
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	90	or	1
and	72	=>	95	=	732	forall	68
exists	2	Int	90	div	1	+	23
-	36	*	4	<	10	<=	43
>	4	>=	45

Query 9

Status	unknown
Inferred Status	None
Size	114991
Compressed Size	18151
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	90	or	1
and	72	=>	95	=	732	forall	68
exists	2	Int	90	div	1	+	23
-	36	*	4	<	10	<=	43
>	4	>=	45

Query 10

Status	unknown
Inferred Status	None
Size	115010
Compressed Size	18156
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	90	or	1
and	72	=>	95	=	732	forall	68
exists	2	Int	90	div	1	+	23
-	36	*	4	<	10	<=	43
>	4	>=	45

Query 11

Status	unknown
Inferred Status	None
Size	115075
Compressed Size	18148
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	73	=>	95	=	731	forall	68
exists	2	Int	90	div	1	+	23
-	36	*	4	<	10	<=	44
>	4	>=	46

Query 12

Status	unknown
Inferred Status	None
Size	115094
Compressed Size	18156
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	73	=>	95	=	731	forall	68
exists	2	Int	90	div	1	+	23
-	36	*	4	<	10	<=	44
>	4	>=	46

Query 13

Status	unknown
Inferred Status	None
Size	115113
Compressed Size	18153
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	73	=>	95	=	731	forall	68
exists	2	Int	90	div	1	+	23
-	36	*	4	<	10	<=	44
>	4	>=	46

Query 14

Status	unknown
Inferred Status	None
Size	115075
Compressed Size	18156
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	72	=>	95	=	732	forall	68
exists	2	Int	90	div	1	+	23
-	36	*	4	<	10	<=	43
>	4	>=	45

Query 15

Status	unknown
Inferred Status	None
Size	116384
Compressed Size	18100
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	87	and	72
=>	97	=	733	forall	70	exists	3
Int	93	div	1	+	30	-	47
*	4	<	9	<=	43	>	5
>=	47

Query 16

Status	unknown
Inferred Status	None
Size	116403
Compressed Size	18101
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	87	and	72
=>	97	=	733	forall	70	exists	3
Int	93	div	1	+	30	-	47
*	4	<	9	<=	43	>	5
>=	47

Query 17

Status	unknown
Inferred Status	None
Size	116422
Compressed Size	18106
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	87	and	72
=>	97	=	733	forall	70	exists	3
Int	93	div	1	+	30	-	47
*	4	<	9	<=	43	>	5
>=	47

Query 18

Status	unknown
Inferred Status	None
Size	116483
Compressed Size	18112
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	86	and	73
=>	97	=	732	forall	70	exists	3
Int	93	div	1	+	30	-	47
*	4	<	9	<=	44	>	5
>=	48

Query 19

Status	unknown
Inferred Status	None
Size	116502
Compressed Size	18112
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	86	and	73
=>	97	=	732	forall	70	exists	3
Int	93	div	1	+	30	-	47
*	4	<	9	<=	44	>	5
>=	48

Query 20

Status	unknown
Inferred Status	None
Size	116521
Compressed Size	18113
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	86	and	73
=>	97	=	732	forall	70	exists	3
Int	93	div	1	+	30	-	47
*	4	<	9	<=	44	>	5
>=	48

Query 21

Status	unknown
Inferred Status	None
Size	116489
Compressed Size	18105
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	86	and	72
=>	97	=	733	forall	70	exists	3
Int	93	div	1	+	30	-	47
*	4	<	9	<=	43	>	5
>=	47

Query 22

Status	unknown
Inferred Status	None
Size	108736
Compressed Size	17231
Max. Term Depth	34
Asserts	12
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	83	and	56
=>	79	=	698	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	33	>	3
>=	35

Query 23

Status	unknown
Inferred Status	None
Size	111941
Compressed Size	17742
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	and	60
=>	84	=	708	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	37	>	3
>=	38

Query 24

Status	unknown
Inferred Status	None
Size	111960
Compressed Size	17751
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	and	60
=>	84	=	708	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	37	>	3
>=	38

Query 25

Status	unknown
Inferred Status	None
Size	111979
Compressed Size	17752
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	87	and	60
=>	84	=	708	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	37	>	3
>=	38

Query 26

Status	unknown
Inferred Status	None
Size	112044
Compressed Size	17748
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	86	and	61
=>	84	=	707	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	38	>	3
>=	39

Query 27

Status	unknown
Inferred Status	None
Size	112063
Compressed Size	17753
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	86	and	61
=>	84	=	707	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	38	>	3
>=	39

Query 28

Status	unknown
Inferred Status	None
Size	112082
Compressed Size	17756
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	86	and	61
=>	84	=	707	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	38	>	3
>=	39

Query 29

Status	unknown
Inferred Status	None
Size	111404
Compressed Size	17629
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	83	and	58
=>	83	=	701	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 30

Status	unknown
Inferred Status	None
Size	111446
Compressed Size	17639
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	83	and	58
=>	83	=	701	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 31

Status	unknown
Inferred Status	None
Size	111448
Compressed Size	17634
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	83	and	58
=>	83	=	701	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 32

Status	unknown
Inferred Status	None
Size	111490
Compressed Size	17645
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	83	and	58
=>	83	=	701	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 33

Status	unknown
Inferred Status	None
Size	111492
Compressed Size	17641
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	83	and	58
=>	83	=	701	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 34

Status	unknown
Inferred Status	None
Size	111534
Compressed Size	17651
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	83	and	58
=>	83	=	701	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 35

Status	unknown
Inferred Status	None
Size	111603
Compressed Size	17706
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	6	Bool	53	not	83	and	58
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 36

Status	unknown
Inferred Status	None
Size	111643
Compressed Size	17715
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	6	Bool	53	not	83	and	58
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 37

Status	unknown
Inferred Status	None
Size	111647
Compressed Size	17711
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	6	Bool	53	not	83	and	58
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 38

Status	unknown
Inferred Status	None
Size	111687
Compressed Size	17719
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	6	Bool	53	not	83	and	58
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 39

Status	unknown
Inferred Status	None
Size	111691
Compressed Size	17714
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	6	Bool	53	not	83	and	58
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 40

Status	unknown
Inferred Status	None
Size	111731
Compressed Size	17724
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	6	Bool	53	not	83	and	58
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	5	<=	36	>	3
>=	37

Query 41

Status	unknown
Inferred Status	None
Size	109327
Compressed Size	17346
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	57
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 42

Status	unknown
Inferred Status	None
Size	109369
Compressed Size	17359
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	57
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 43

Status	unknown
Inferred Status	None
Size	109385
Compressed Size	17369
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	57
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 44

Status	unknown
Inferred Status	None
Size	109427
Compressed Size	17379
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	57
=>	82	=	702	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 45

Status	unknown
Inferred Status	None
Size	110521
Compressed Size	17602
Max. Term Depth	34
Asserts	16
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	61
=>	92	=	726	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	36	>	3
>=	37

Query 46

Status	unknown
Inferred Status	None
Size	110561
Compressed Size	17613
Max. Term Depth	34
Asserts	16
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	61
=>	92	=	726	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	36	>	3
>=	37

Query 47

Status	unknown
Inferred Status	None
Size	110583
Compressed Size	17617
Max. Term Depth	34
Asserts	16
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	61
=>	92	=	726	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	36	>	3
>=	37

Query 48

Status	unknown
Inferred Status	None
Size	110623
Compressed Size	17624
Max. Term Depth	34
Asserts	16
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	61
=>	92	=	726	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	36	>	3
>=	37

Query 49

Status	unknown
Inferred Status	None
Size	110063
Compressed Size	17496
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	84	and	58
=>	88	=	718	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	35	>	3
>=	36

Query 50

Status	unknown
Inferred Status	None
Size	110106
Compressed Size	17506
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	84	and	58
=>	88	=	718	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	35	>	3
>=	36

Query 51

Status	unknown
Inferred Status	None
Size	110127
Compressed Size	17507
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	84	and	58
=>	88	=	718	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	35	>	3
>=	36

Query 52

Status	unknown
Inferred Status	None
Size	110170
Compressed Size	17517
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	84	and	58
=>	88	=	718	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	35	>	3
>=	36

Query 53

Status	unknown
Inferred Status	None
Size	110199
Compressed Size	17517
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	85	and	61
=>	92	=	722	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	37	>	3
>=	37

Query 54

Status	unknown
Inferred Status	None
Size	110240
Compressed Size	17530
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	85	and	61
=>	92	=	722	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	37	>	3
>=	37

Query 55

Status	unknown
Inferred Status	None
Size	110259
Compressed Size	17540
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	85	and	61
=>	92	=	722	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	37	>	3
>=	37

Query 56

Status	unknown
Inferred Status	None
Size	110300
Compressed Size	17548
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	85	and	61
=>	92	=	722	forall	66	exists	1
Int	87	div	1	+	15	-	25
*	4	<	8	<=	37	>	3
>=	37

Query 57

Status	unknown
Inferred Status	None
Size	109304
Compressed Size	17346
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	84	and	57
=>	81	=	701	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 58

Status	unknown
Inferred Status	None
Size	109347
Compressed Size	17356
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	84	and	57
=>	81	=	701	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 59

Status	unknown
Inferred Status	None
Size	109364
Compressed Size	17369
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	84	and	57
=>	81	=	701	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 60

Status	unknown
Inferred Status	None
Size	109407
Compressed Size	17379
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	84	and	57
=>	81	=	701	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	6	<=	34	>	3
>=	36

Query 61

Status	unknown
Inferred Status	None
Size	116985
Compressed Size	18256
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	79	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 62

Status	unknown
Inferred Status	None
Size	117028
Compressed Size	18266
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	79	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 63

Status	unknown
Inferred Status	None
Size	117051
Compressed Size	18280
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 64

Status	unknown
Inferred Status	None
Size	117094
Compressed Size	18285
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 65

Status	unknown
Inferred Status	None
Size	117092
Compressed Size	18278
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	89	or	1
and	80	=>	97	=	736	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 66

Status	unknown
Inferred Status	None
Size	117129
Compressed Size	18284
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 67

Status	unknown
Inferred Status	None
Size	117190
Compressed Size	18286
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 68

Status	unknown
Inferred Status	None
Size	117339
Compressed Size	18297
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 69

Status	unknown
Inferred Status	None
Size	117195
Compressed Size	18290
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 70

Status	unknown
Inferred Status	None
Size	117222
Compressed Size	18295
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 71

Status	unknown
Inferred Status	None
Size	117266
Compressed Size	18306
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 72

Status	unknown
Inferred Status	None
Size	117255
Compressed Size	18305
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 73

Status	unknown
Inferred Status	None
Size	117291
Compressed Size	18306
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 74

Status	unknown
Inferred Status	None
Size	117335
Compressed Size	18315
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 75

Status	unknown
Inferred Status	None
Size	117324
Compressed Size	18315
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 76

Status	unknown
Inferred Status	None
Size	117371
Compressed Size	18322
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 77

Status	unknown
Inferred Status	None
Size	117387
Compressed Size	18321
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 78

Status	unknown
Inferred Status	None
Size	117393
Compressed Size	18326
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	29
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 79

Status	unknown
Inferred Status	None
Size	117415
Compressed Size	18329
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 80

Status	unknown
Inferred Status	None
Size	117467
Compressed Size	18333
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 81

Status	unknown
Inferred Status	None
Size	117453
Compressed Size	18332
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 82

Status	unknown
Inferred Status	None
Size	117527
Compressed Size	18331
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 83

Status	unknown
Inferred Status	None
Size	117518
Compressed Size	18338
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 84

Status	unknown
Inferred Status	None
Size	117504
Compressed Size	18340
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 85

Status	unknown
Inferred Status	None
Size	117578
Compressed Size	18340
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 86

Status	unknown
Inferred Status	None
Size	117731
Compressed Size	18347
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	43	*	4	<	12	<=	51
>	6	>=	54

Query 87

Status	unknown
Inferred Status	None
Size	117656
Compressed Size	18346
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 88

Status	unknown
Inferred Status	None
Size	117782
Compressed Size	18352
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 89

Status	unknown
Inferred Status	None
Size	117947
Compressed Size	18358
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	45	*	4	<	12	<=	51
>	6	>=	54

Query 90

Status	unknown
Inferred Status	None
Size	117652
Compressed Size	18349
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 91

Status	unknown
Inferred Status	None
Size	117704
Compressed Size	18354
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 92

Status	unknown
Inferred Status	None
Size	117713
Compressed Size	18356
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 93

Status	unknown
Inferred Status	None
Size	117752
Compressed Size	18355
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 94

Status	unknown
Inferred Status	None
Size	117792
Compressed Size	18359
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 95

Status	unknown
Inferred Status	None
Size	117830
Compressed Size	18362
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 96

Status	unknown
Inferred Status	None
Size	117792
Compressed Size	18358
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 97

Status	unknown
Inferred Status	None
Size	117801
Compressed Size	18362
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 98

Status	unknown
Inferred Status	None
Size	117875
Compressed Size	18361
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 99

Status	unknown
Inferred Status	None
Size	117866
Compressed Size	18370
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54

Query 100

Status	unknown
Inferred Status	None
Size	117852
Compressed Size	18369
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1289
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	88	or	1
and	80	=>	97	=	735	forall	70
exists	3	Int	93	div	1	+	28
-	42	*	4	<	12	<=	51
>	6	>=	54