Benchmark

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

Benchmark without description.

Benchmark
Size	465089
Compressed Size	38566
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	911

Query 1

Status	unknown
Inferred Status	None
Size	126918
Compressed Size	20592
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 2

Status	unknown
Inferred Status	None
Size	126960
Compressed Size	20597
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 3

Status	unknown
Inferred Status	None
Size	126984
Compressed Size	20602
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 4

Status	unknown
Inferred Status	None
Size	127004
Compressed Size	20611
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	777	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 5

Status	unknown
Inferred Status	None
Size	127023
Compressed Size	20607
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	777	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 6

Status	unknown
Inferred Status	None
Size	127042
Compressed Size	20612
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	777	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 7

Status	unknown
Inferred Status	None
Size	127057
Compressed Size	20611
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	777	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 8

Status	unknown
Inferred Status	None
Size	127076
Compressed Size	20615
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	777	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 9

Status	unknown
Inferred Status	None
Size	127100
Compressed Size	20618
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	94	=>	139	=	777	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	54

Query 10

Status	unknown
Inferred Status	None
Size	124121
Compressed Size	20152
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 11

Status	unknown
Inferred Status	None
Size	124146
Compressed Size	20159
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 12

Status	unknown
Inferred Status	None
Size	124159
Compressed Size	20159
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 13

Status	unknown
Inferred Status	None
Size	124186
Compressed Size	20164
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 14

Status	unknown
Inferred Status	None
Size	124205
Compressed Size	20166
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 15

Status	unknown
Inferred Status	None
Size	124228
Compressed Size	20171
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	99	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 16

Status	unknown
Inferred Status	None
Size	124247
Compressed Size	20172
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	99	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 17

Status	unknown
Inferred Status	None
Size	124266
Compressed Size	20173
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	99	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 18

Status	unknown
Inferred Status	None
Size	124285
Compressed Size	20174
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	99	or	1
and	94	=>	139	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 19

Status	unknown
Inferred Status	None
Size	124240
Compressed Size	20173
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	68
>	7	>=	55

Query 20

Status	unknown
Inferred Status	None
Size	124259
Compressed Size	20178
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	68
>	7	>=	55

Query 21

Status	unknown
Inferred Status	None
Size	124275
Compressed Size	20175
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	98	or	1
and	94	=>	139	=	770	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	10	<=	68
>	7	>=	56

Query 22

Status	unknown
Inferred Status	None
Size	124934
Compressed Size	20307
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	98	or	1
and	94	=>	140	=	772	forall	115
exists	1	Int	191	div	1	+	35
-	44	*	4	<	10	<=	68
>	9	>=	54

Query 23

Status	unknown
Inferred Status	None
Size	125219
Compressed Size	20360
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	98	or	1
and	94	=>	140	=	772	forall	115
exists	1	Int	191	div	1	+	35
-	44	*	4	<	11	<=	68
>	9	>=	54

Query 24

Status	unknown
Inferred Status	None
Size	125113
Compressed Size	20326
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	98	or	1
and	94	=>	140	=	772	forall	115
exists	1	Int	191	div	1	+	35
-	44	*	4	<	10	<=	68
>	9	>=	54

Query 25

Status	unknown
Inferred Status	None
Size	125259
Compressed Size	20355
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	98	or	1
and	94	=>	140	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	44	*	4	<	11	<=	68
>	9	>=	54

Query 26

Status	unknown
Inferred Status	None
Size	125740
Compressed Size	20393
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	98	or	1
and	94	=>	140	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	44	*	4	<	12	<=	68
>	9	>=	54

Query 27

Status	unknown
Inferred Status	None
Size	125037
Compressed Size	20309
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	98	or	1
and	94	=>	140	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	44	*	4	<	10	<=	68
>	9	>=	54

Query 28

Status	unknown
Inferred Status	None
Size	134790
Compressed Size	21284
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	107	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 29

Status	unknown
Inferred Status	None
Size	134800
Compressed Size	21288
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 30

Status	unknown
Inferred Status	None
Size	134831
Compressed Size	21287
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 31

Status	unknown
Inferred Status	None
Size	134955
Compressed Size	21302
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 32

Status	unknown
Inferred Status	None
Size	134973
Compressed Size	21293
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 33

Status	unknown
Inferred Status	None
Size	135131
Compressed Size	21295
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	70	*	4	<	12	<=	88
>	7	>=	63

Query 34

Status	unknown
Inferred Status	None
Size	134902
Compressed Size	21294
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	88
>	7	>=	63

Query 35

Status	unknown
Inferred Status	None
Size	135135
Compressed Size	21295
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	68	*	4	<	12	<=	88
>	7	>=	63

Query 36

Status	unknown
Inferred Status	None
Size	135024
Compressed Size	21318
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 37

Status	unknown
Inferred Status	None
Size	134971
Compressed Size	21304
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 38

Status	unknown
Inferred Status	None
Size	135063
Compressed Size	21317
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 39

Status	unknown
Inferred Status	None
Size	135563
Compressed Size	21318
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	55
-	70	*	4	<	12	<=	87
>	7	>=	63

Query 40

Status	unknown
Inferred Status	None
Size	135026
Compressed Size	21316
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	88
>	7	>=	63

Query 41

Status	unknown
Inferred Status	None
Size	135260
Compressed Size	21309
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	68	*	4	<	12	<=	88
>	7	>=	63

Query 42

Status	unknown
Inferred Status	None
Size	135068
Compressed Size	21314
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 43

Status	unknown
Inferred Status	None
Size	135084
Compressed Size	21316
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 44

Status	unknown
Inferred Status	None
Size	135576
Compressed Size	21381
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	55
-	70	*	4	<	12	<=	88
>	7	>=	63

Query 45

Status	unknown
Inferred Status	None
Size	135495
Compressed Size	21366
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	54
-	68	*	4	<	12	<=	87
>	7	>=	63

Query 46

Status	unknown
Inferred Status	None
Size	135553
Compressed Size	21361
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	54
-	69	*	4	<	12	<=	87
>	7	>=	63

Query 47

Status	unknown
Inferred Status	None
Size	135340
Compressed Size	21371
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 48

Status	unknown
Inferred Status	None
Size	136028
Compressed Size	21406
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	57
-	73	*	4	<	13	<=	87
>	7	>=	63

Query 49

Status	unknown
Inferred Status	None
Size	135470
Compressed Size	21394
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 50

Status	unknown
Inferred Status	None
Size	135408
Compressed Size	21376
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 51

Status	unknown
Inferred Status	None
Size	135437
Compressed Size	21383
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 52

Status	unknown
Inferred Status	None
Size	135529
Compressed Size	21391
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 53

Status	unknown
Inferred Status	None
Size	136029
Compressed Size	21391
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	55
-	70	*	4	<	12	<=	87
>	7	>=	63

Query 54

Status	unknown
Inferred Status	None
Size	135484
Compressed Size	21379
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 55

Status	unknown
Inferred Status	None
Size	135696
Compressed Size	21397
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	107	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 56

Status	unknown
Inferred Status	None
Size	135716
Compressed Size	21400
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	107	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 57

Status	unknown
Inferred Status	None
Size	135736
Compressed Size	21400
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	107	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 58

Status	unknown
Inferred Status	None
Size	135756
Compressed Size	21402
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	107	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 59

Status	unknown
Inferred Status	None
Size	135629
Compressed Size	21396
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 60

Status	unknown
Inferred Status	None
Size	135649
Compressed Size	21398
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 61

Status	unknown
Inferred Status	None
Size	135669
Compressed Size	21399
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 62

Status	unknown
Inferred Status	None
Size	135689
Compressed Size	21400
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 63

Status	unknown
Inferred Status	None
Size	135717
Compressed Size	21400
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 64

Status	unknown
Inferred Status	None
Size	135737
Compressed Size	21402
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 65

Status	unknown
Inferred Status	None
Size	135757
Compressed Size	21403
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 66

Status	unknown
Inferred Status	None
Size	135777
Compressed Size	21405
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 67

Status	unknown
Inferred Status	None
Size	135965
Compressed Size	21408
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 68

Status	unknown
Inferred Status	None
Size	135985
Compressed Size	21410
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 69

Status	unknown
Inferred Status	None
Size	136005
Compressed Size	21410
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 70

Status	unknown
Inferred Status	None
Size	136025
Compressed Size	21413
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 71

Status	unknown
Inferred Status	None
Size	135871
Compressed Size	21416
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 72

Status	unknown
Inferred Status	None
Size	135891
Compressed Size	21418
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 73

Status	unknown
Inferred Status	None
Size	135911
Compressed Size	21420
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 74

Status	unknown
Inferred Status	None
Size	135931
Compressed Size	21421
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 75

Status	unknown
Inferred Status	None
Size	136204
Compressed Size	21427
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 76

Status	unknown
Inferred Status	None
Size	136224
Compressed Size	21429
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 77

Status	unknown
Inferred Status	None
Size	136244
Compressed Size	21430
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 78

Status	unknown
Inferred Status	None
Size	136264
Compressed Size	21431
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 79

Status	unknown
Inferred Status	None
Size	136283
Compressed Size	21425
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 80

Status	unknown
Inferred Status	None
Size	136303
Compressed Size	21428
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 81

Status	unknown
Inferred Status	None
Size	136323
Compressed Size	21428
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 82

Status	unknown
Inferred Status	None
Size	136343
Compressed Size	21430
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	818	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 83

Status	unknown
Inferred Status	None
Size	136785
Compressed Size	21465
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	57
-	73	*	4	<	13	<=	87
>	7	>=	63

Query 84

Status	unknown
Inferred Status	None
Size	136805
Compressed Size	21467
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	57
-	73	*	4	<	13	<=	87
>	7	>=	63

Query 85

Status	unknown
Inferred Status	None
Size	136825
Compressed Size	21468
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	57
-	73	*	4	<	13	<=	87
>	7	>=	63

Query 86

Status	unknown
Inferred Status	None
Size	136845
Compressed Size	21469
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	57
-	73	*	4	<	13	<=	87
>	7	>=	63

Query 87

Status	unknown
Inferred Status	None
Size	136442
Compressed Size	21426
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	70	*	4	<	12	<=	88
>	7	>=	63

Query 88

Status	unknown
Inferred Status	None
Size	136462
Compressed Size	21428
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	70	*	4	<	12	<=	88
>	7	>=	63

Query 89

Status	unknown
Inferred Status	None
Size	136482
Compressed Size	21429
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	70	*	4	<	12	<=	88
>	7	>=	63

Query 90

Status	unknown
Inferred Status	None
Size	136502
Compressed Size	21430
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	70	*	4	<	12	<=	88
>	7	>=	63

Query 91

Status	unknown
Inferred Status	None
Size	136414
Compressed Size	21430
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	88
>	7	>=	63

Query 92

Status	unknown
Inferred Status	None
Size	136434
Compressed Size	21433
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	88
>	7	>=	63

Query 93

Status	unknown
Inferred Status	None
Size	136454
Compressed Size	21435
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	88
>	7	>=	63

Query 94

Status	unknown
Inferred Status	None
Size	136474
Compressed Size	21435
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	53
-	67	*	4	<	12	<=	88
>	7	>=	63

Query 95

Status	unknown
Inferred Status	None
Size	136568
Compressed Size	21431
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	68	*	4	<	12	<=	88
>	7	>=	63

Query 96

Status	unknown
Inferred Status	None
Size	136588
Compressed Size	21435
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	68	*	4	<	12	<=	88
>	7	>=	63

Query 97

Status	unknown
Inferred Status	None
Size	136608
Compressed Size	21436
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	68	*	4	<	12	<=	88
>	7	>=	63

Query 98

Status	unknown
Inferred Status	None
Size	136628
Compressed Size	21437
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	68	*	4	<	12	<=	88
>	7	>=	63

Query 99

Status	unknown
Inferred Status	None
Size	136798
Compressed Size	21463
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	67	*	4	<	12	<=	87
>	7	>=	63

Query 100

Status	unknown
Inferred Status	None
Size	136818
Compressed Size	21464
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1296
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	81
Declared Datatypes	0

Symbols

true	6	Bool	81	not	106	or	1
and	106	=>	156	=	817	forall	119
exists	4	Int	198	div	1	+	54
-	67	*	4	<	12	<=	87
>	7	>=	63