Benchmark

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

Benchmark without description.

Benchmark
Size	268431
Compressed Size	27944
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	202

Query 1

Status	unknown
Inferred Status	None
Size	121566
Compressed Size	19600
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 2

Status	unknown
Inferred Status	None
Size	121608
Compressed Size	19612
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 3

Status	unknown
Inferred Status	None
Size	121632
Compressed Size	19611
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 4

Status	unknown
Inferred Status	None
Size	121652
Compressed Size	19618
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 5

Status	unknown
Inferred Status	None
Size	121667
Compressed Size	19618
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 6

Status	unknown
Inferred Status	None
Size	121686
Compressed Size	19620
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 7

Status	unknown
Inferred Status	None
Size	121710
Compressed Size	19624
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 8

Status	unknown
Inferred Status	None
Size	121745
Compressed Size	19621
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	100	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 9

Status	unknown
Inferred Status	None
Size	121784
Compressed Size	19632
Max. Term Depth	34
Asserts	10
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	93
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	70	>	7
>=	50

Query 10

Status	unknown
Inferred Status	None
Size	123958
Compressed Size	20094
Max. Term Depth	34
Asserts	47
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	103	or	1
and	101	=>	144	=	770	forall	116
exists	3	Int	194	div	1	+	38
-	48	*	5	<	9	<=	74
>	7	>=	52

Query 11

Status	unknown
Inferred Status	None
Size	123927
Compressed Size	20089
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	103	or	1
and	101	=>	144	=	768	forall	116
exists	3	Int	194	div	1	+	39
-	48	*	5	<	9	<=	74
>	7	>=	52

Query 12

Status	unknown
Inferred Status	None
Size	121280
Compressed Size	19557
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	98	and	92
=>	136	=	748	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	67	>	7
>=	49

Query 13

Status	unknown
Inferred Status	None
Size	121308
Compressed Size	19561
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	98	and	92
=>	136	=	748	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	67	>	7
>=	49

Query 14

Status	unknown
Inferred Status	None
Size	121327
Compressed Size	19563
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	98	and	92
=>	136	=	748	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	67	>	7
>=	49

Query 15

Status	unknown
Inferred Status	None
Size	121346
Compressed Size	19565
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	98	and	92
=>	136	=	748	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	67	>	7
>=	49

Query 16

Status	unknown
Inferred Status	None
Size	121358
Compressed Size	19571
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	98	and	92
=>	136	=	749	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	67	>	7
>=	49

Query 17

Status	unknown
Inferred Status	None
Size	121377
Compressed Size	19573
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	6	Bool	44	not	98	and	92
=>	136	=	749	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	67	>	7
>=	49

Query 18

Status	unknown
Inferred Status	None
Size	121632
Compressed Size	19619
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	99	or	1
and	94	=>	137	=	751	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	7	<=	70
>	7	>=	50

Query 19

Status	unknown
Inferred Status	None
Size	121651
Compressed Size	19623
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	99	or	1
and	94	=>	137	=	751	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	7	<=	70
>	7	>=	50

Query 20

Status	unknown
Inferred Status	None
Size	121670
Compressed Size	19623
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	99	or	1
and	94	=>	137	=	751	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	7	<=	70
>	7	>=	50

Query 21

Status	unknown
Inferred Status	None
Size	121699
Compressed Size	19626
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	100	or	1
and	94	=>	137	=	752	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	7	<=	70
>	7	>=	50

Query 22

Status	unknown
Inferred Status	None
Size	121764
Compressed Size	19636
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	47
Declared Datatypes	0

Symbols

true	6	Bool	47	not	99	or	1
and	95	=>	137	=	751	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	7	<=	71
>	7	>=	51

Query 23

Status	unknown
Inferred Status	None
Size	121912
Compressed Size	19679
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	99	and	94
=>	140	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	9	<=	70	>	7
>=	50

Query 24

Status	unknown
Inferred Status	None
Size	121931
Compressed Size	19682
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	99	and	94
=>	140	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	9	<=	70	>	7
>=	50

Query 25

Status	unknown
Inferred Status	None
Size	121950
Compressed Size	19684
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	99	and	94
=>	140	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	9	<=	70	>	7
>=	50

Query 26

Status	unknown
Inferred Status	None
Size	121979
Compressed Size	19686
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	100	and	94
=>	140	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	9	<=	70	>	7
>=	50

Query 27

Status	unknown
Inferred Status	None
Size	122044
Compressed Size	19696
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	99	and	95
=>	140	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	9	<=	71	>	7
>=	51

Query 28

Status	unknown
Inferred Status	None
Size	122008
Compressed Size	19696
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	99	and	94
=>	140	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	10	<=	70	>	7
>=	50

Query 29

Status	unknown
Inferred Status	None
Size	122059
Compressed Size	19696
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	6	Bool	50	not	99	and	94
=>	140	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	10	<=	70	>	7
>=	50

Query 30

Status	unknown
Inferred Status	None
Size	127036
Compressed Size	20450
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	1
and	106	=>	147	=	782	forall	117
exists	4	Int	196	div	1	+	45
-	55	*	5	<	10	<=	74
>	7	>=	53

Query 31

Status	unknown
Inferred Status	None
Size	127223
Compressed Size	20506
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	1
and	106	=>	147	=	782	forall	117
exists	4	Int	196	div	1	+	45
-	55	*	5	<	10	<=	74
>	7	>=	53

Query 32

Status	unknown
Inferred Status	None
Size	127242
Compressed Size	20509
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	1
and	106	=>	147	=	782	forall	117
exists	4	Int	196	div	1	+	45
-	55	*	5	<	10	<=	74
>	7	>=	53

Query 33

Status	unknown
Inferred Status	None
Size	130715
Compressed Size	20826
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	106	or	1
and	111	=>	151	=	795	forall	119
exists	6	Int	201	div	1	+	52
-	69	*	6	<	10	<=	77
>	7	>=	56

Query 34

Status	unknown
Inferred Status	None
Size	127452
Compressed Size	20517
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	1
and	106	=>	147	=	783	forall	117
exists	4	Int	196	div	1	+	45
-	55	*	5	<	10	<=	74
>	7	>=	53

Query 35

Status	unknown
Inferred Status	None
Size	127475
Compressed Size	20522
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	1
and	106	=>	147	=	783	forall	117
exists	4	Int	196	div	1	+	45
-	55	*	5	<	11	<=	74
>	7	>=	53

Query 36

Status	unknown
Inferred Status	None
Size	123613
Compressed Size	20031
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	1
and	101	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	9	<=	72
>	7	>=	52

Query 37

Status	unknown
Inferred Status	None
Size	123641
Compressed Size	20037
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	1
and	101	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	9	<=	72
>	7	>=	52

Query 38

Status	unknown
Inferred Status	None
Size	123660
Compressed Size	20039
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	1
and	101	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	9	<=	72
>	7	>=	52

Query 39

Status	unknown
Inferred Status	None
Size	123724
Compressed Size	20056
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	2
and	101	=>	143	=	769	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	9	<=	72
>	7	>=	52

Query 40

Status	unknown
Inferred Status	None
Size	125532
Compressed Size	20100
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	103	or	4
and	107	=>	144	=	780	forall	117
exists	5	Int	197	div	1	+	48
-	59	*	6	<	9	<=	74
>	7	>=	54

Query 41

Status	unknown
Inferred Status	None
Size	123727
Compressed Size	20042
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	102	or	1
and	101	=>	143	=	768	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	9	<=	72
>	7	>=	52

Query 42

Status	unknown
Inferred Status	None
Size	123792
Compressed Size	20055
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	1
and	102	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	9	<=	73
>	7	>=	53

Query 43

Status	unknown
Inferred Status	None
Size	123753
Compressed Size	20045
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	1
and	101	=>	143	=	768	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	9	<=	72
>	7	>=	52

Query 44

Status	unknown
Inferred Status	None
Size	123775
Compressed Size	20057
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	1
and	101	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	10	<=	72
>	7	>=	52

Query 45

Status	unknown
Inferred Status	None
Size	123827
Compressed Size	20057
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	101	or	1
and	101	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	51	*	5	<	10	<=	72
>	7	>=	52

Query 46

Status	unknown
Inferred Status	None
Size	121878
Compressed Size	19609
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	and	92
=>	137	=	750	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 47

Status	unknown
Inferred Status	None
Size	122115
Compressed Size	19689
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	and	92
=>	137	=	750	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 48

Status	unknown
Inferred Status	None
Size	122134
Compressed Size	19691
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	and	92
=>	137	=	750	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 49

Status	unknown
Inferred Status	None
Size	122153
Compressed Size	19693
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	and	92
=>	137	=	750	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 50

Status	unknown
Inferred Status	None
Size	122182
Compressed Size	19696
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	100	and	92
=>	137	=	751	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 51

Status	unknown
Inferred Status	None
Size	124730
Compressed Size	20145
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	63
Declared Datatypes	0

Symbols

true	6	Bool	63	not	101	or	1
and	100	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	57	*	4	<	9	<=	73
>	7	>=	52

Query 52

Status	unknown
Inferred Status	None
Size	124761
Compressed Size	20156
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	63
Declared Datatypes	0

Symbols

true	6	Bool	63	not	101	or	1
and	100	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	57	*	4	<	9	<=	73
>	7	>=	52

Query 53

Status	unknown
Inferred Status	None
Size	124780
Compressed Size	20158
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	63
Declared Datatypes	0

Symbols

true	6	Bool	63	not	101	or	1
and	100	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	57	*	4	<	9	<=	73
>	7	>=	52

Query 54

Status	unknown
Inferred Status	None
Size	124809
Compressed Size	20161
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	63
Declared Datatypes	0

Symbols

true	6	Bool	63	not	102	or	1
and	100	=>	143	=	768	forall	116
exists	3	Int	194	div	1	+	42
-	57	*	4	<	9	<=	73
>	7	>=	52

Query 55

Status	unknown
Inferred Status	None
Size	124874
Compressed Size	20171
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	63
Declared Datatypes	0

Symbols

true	6	Bool	63	not	101	or	1
and	101	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	57	*	4	<	9	<=	74
>	7	>=	53

Query 56

Status	unknown
Inferred Status	None
Size	124838
Compressed Size	20164
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	63
Declared Datatypes	0

Symbols

true	6	Bool	63	not	101	or	1
and	100	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	57	*	4	<	10	<=	73
>	7	>=	52

Query 57

Status	unknown
Inferred Status	None
Size	124889
Compressed Size	20171
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	63
Declared Datatypes	0

Symbols

true	6	Bool	63	not	101	or	1
and	100	=>	143	=	767	forall	116
exists	3	Int	194	div	1	+	42
-	57	*	4	<	10	<=	73
>	7	>=	52

Query 58

Status	unknown
Inferred Status	None
Size	125078
Compressed Size	20226
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	102	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	11	<=	75
>	7	>=	54

Query 59

Status	unknown
Inferred Status	None
Size	125138
Compressed Size	20241
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	104	or	2
and	102	=>	146	=	777	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	11	<=	75
>	7	>=	54

Query 60

Status	unknown
Inferred Status	None
Size	125154
Compressed Size	20244
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	102	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	11	<=	75
>	7	>=	54

Query 61

Status	unknown
Inferred Status	None
Size	125174
Compressed Size	20245
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	102	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	11	<=	75
>	7	>=	54

Query 62

Status	unknown
Inferred Status	None
Size	125194
Compressed Size	20245
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	102	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	11	<=	75
>	7	>=	54

Query 63

Status	unknown
Inferred Status	None
Size	125264
Compressed Size	20253
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	103	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	11	<=	76
>	7	>=	55

Query 64

Status	unknown
Inferred Status	None
Size	125224
Compressed Size	20252
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	102	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	11	<=	76
>	7	>=	54

Query 65

Status	unknown
Inferred Status	None
Size	126646
Compressed Size	20357
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	105	or	3
and	108	=>	147	=	784	forall	117
exists	5	Int	197	div	1	+	42
-	58	*	5	<	11	<=	77
>	7	>=	56

Query 66

Status	unknown
Inferred Status	None
Size	125269
Compressed Size	20256
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	102	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	12	<=	75
>	7	>=	54

Query 67

Status	unknown
Inferred Status	None
Size	125322
Compressed Size	20263
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	103	or	2
and	102	=>	146	=	776	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	12	<=	75
>	7	>=	54

Query 68

Status	unknown
Inferred Status	None
Size	121863
Compressed Size	19753
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	101	and	98
=>	142	=	781	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	9	<=	71	>	7
>=	51

Query 69

Status	unknown
Inferred Status	None
Size	121929
Compressed Size	19761
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	100	and	99
=>	142	=	780	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	9	<=	72	>	7
>=	52

Query 70

Status	unknown
Inferred Status	None
Size	121894
Compressed Size	19755
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	100	and	98
=>	142	=	780	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	10	<=	71	>	7
>=	51

Query 71

Status	unknown
Inferred Status	None
Size	121946
Compressed Size	19755
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	100	and	98
=>	142	=	780	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	10	<=	71	>	7
>=	51

Query 72

Status	unknown
Inferred Status	None
Size	120052
Compressed Size	19385
Max. Term Depth	34
Asserts	15
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	and	92
=>	137	=	750	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	67	>	7
>=	49

Query 73

Status	unknown
Inferred Status	None
Size	121850
Compressed Size	19649
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 74

Status	unknown
Inferred Status	None
Size	121866
Compressed Size	19651
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 75

Status	unknown
Inferred Status	None
Size	121891
Compressed Size	19649
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 76

Status	unknown
Inferred Status	None
Size	121912
Compressed Size	19657
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 77

Status	unknown
Inferred Status	None
Size	121928
Compressed Size	19659
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 78

Status	unknown
Inferred Status	None
Size	121948
Compressed Size	19662
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 79

Status	unknown
Inferred Status	None
Size	121973
Compressed Size	19664
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 80

Status	unknown
Inferred Status	None
Size	122009
Compressed Size	19661
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	100	and	92
=>	137	=	756	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 81

Status	unknown
Inferred Status	None
Size	122049
Compressed Size	19671
Max. Term Depth	34
Asserts	13
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	51
Declared Datatypes	0

Symbols

true	6	Bool	51	not	99	and	93
=>	137	=	755	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	70	>	7
>=	50

Query 82

Status	unknown
Inferred Status	None
Size	126183
Compressed Size	20356
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	101	or	1
and	100	=>	143	=	803	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	9	<=	73
>	7	>=	53

Query 83

Status	unknown
Inferred Status	None
Size	128030
Compressed Size	20574
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	103	or	2
and	106	=>	144	=	812	forall	117
exists	5	Int	197	div	1	+	42
-	58	*	5	<	9	<=	75
>	7	>=	55

Query 84

Status	unknown
Inferred Status	None
Size	126525
Compressed Size	20448
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	102	or	1
and	100	=>	143	=	803	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	9	<=	73
>	7	>=	53

Query 85

Status	unknown
Inferred Status	None
Size	126591
Compressed Size	20463
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	101	or	1
and	101	=>	143	=	802	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	9	<=	74
>	7	>=	54

Query 86

Status	unknown
Inferred Status	None
Size	126556
Compressed Size	20460
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	101	or	1
and	100	=>	143	=	802	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	10	<=	73
>	7	>=	53

Query 87

Status	unknown
Inferred Status	None
Size	126608
Compressed Size	20462
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	74
Declared Datatypes	0

Symbols

true	6	Bool	74	not	101	or	1
and	100	=>	143	=	802	forall	116
exists	3	Int	194	div	1	+	39
-	52	*	4	<	10	<=	73
>	7	>=	53

Query 88

Status	unknown
Inferred Status	None
Size	127163
Compressed Size	20438
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	103	or	2
and	106	=>	144	=	809	forall	117
exists	5	Int	197	div	1	+	43
-	60	*	5	<	9	<=	75
>	7	>=	54

Query 89

Status	unknown
Inferred Status	None
Size	125639
Compressed Size	20306
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	102	or	1
and	100	=>	143	=	800	forall	116
exists	3	Int	194	div	1	+	39
-	54	*	4	<	9	<=	73
>	7	>=	52

Query 90

Status	unknown
Inferred Status	None
Size	125705
Compressed Size	20316
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	101	or	1
and	101	=>	143	=	799	forall	116
exists	3	Int	194	div	1	+	39
-	54	*	4	<	9	<=	74
>	7	>=	53

Query 91

Status	unknown
Inferred Status	None
Size	125670
Compressed Size	20313
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	101	or	1
and	100	=>	143	=	799	forall	116
exists	3	Int	194	div	1	+	39
-	54	*	4	<	10	<=	73
>	7	>=	52

Query 92

Status	unknown
Inferred Status	None
Size	125722
Compressed Size	20317
Max. Term Depth	34
Asserts	44
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	101	or	1
and	100	=>	143	=	799	forall	116
exists	3	Int	194	div	1	+	39
-	54	*	4	<	10	<=	73
>	7	>=	52

Query 93

Status	unknown
Inferred Status	None
Size	120923
Compressed Size	19496
Max. Term Depth	34
Asserts	41
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	99	and	92
=>	137	=	749	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 94

Status	unknown
Inferred Status	None
Size	120966
Compressed Size	19506
Max. Term Depth	34
Asserts	41
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	99	and	92
=>	137	=	749	forall	115	exists	1
Int	191	div	1	+	35	-	42
*	4	<	7	<=	69	>	7
>=	49

Query 95

Status	unknown
Inferred Status	None
Size	125668
Compressed Size	20295
Max. Term Depth	34
Asserts	47
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	45
Declared Datatypes	0

Symbols

true	6	Bool	45	not	104	or	2
and	108	=>	145	=	781	forall	117
exists	4	Int	196	div	1	+	39
-	53	*	5	<	10	<=	76
>	7	>=	56

Query 96

Status	unknown
Inferred Status	None
Size	125709
Compressed Size	20304
Max. Term Depth	34
Asserts	47
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	45
Declared Datatypes	0

Symbols

true	6	Bool	45	not	104	or	2
and	108	=>	145	=	781	forall	117
exists	4	Int	196	div	1	+	39
-	53	*	5	<	10	<=	76
>	7	>=	56

Query 97

Status	unknown
Inferred Status	None
Size	125719
Compressed Size	20309
Max. Term Depth	34
Asserts	47
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	45
Declared Datatypes	0

Symbols

true	6	Bool	45	not	104	or	2
and	108	=>	145	=	781	forall	117
exists	4	Int	196	div	1	+	39
-	53	*	5	<	10	<=	76
>	7	>=	56

Query 98

Status	unknown
Inferred Status	None
Size	125738
Compressed Size	20310
Max. Term Depth	34
Asserts	47
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	45
Declared Datatypes	0

Symbols

true	6	Bool	45	not	104	or	2
and	108	=>	145	=	781	forall	117
exists	4	Int	196	div	1	+	39
-	53	*	5	<	10	<=	76
>	7	>=	56

Query 99

Status	unknown
Inferred Status	None
Size	125765
Compressed Size	20315
Max. Term Depth	34
Asserts	47
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	45
Declared Datatypes	0

Symbols

true	6	Bool	45	not	104	or	2
and	108	=>	145	=	781	forall	117
exists	4	Int	196	div	1	+	39
-	53	*	5	<	10	<=	76
>	7	>=	56

Query 100

Status	unknown
Inferred Status	None
Size	125805
Compressed Size	20322
Max. Term Depth	34
Asserts	47
Declared Functions	147
Declared Constants	1243
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	45
Declared Datatypes	0

Symbols

true	6	Bool	45	not	104	or	2
and	108	=>	145	=	781	forall	117
exists	4	Int	196	div	1	+	39
-	53	*	5	<	10	<=	76
>	7	>=	56