Benchmark

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

Benchmark without description.

Benchmark
Size	218062
Compressed Size	28172
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	120

Query 1

Status	unknown
Inferred Status	None
Size	146972
Compressed Size	22391
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	107	=>	144	=	852	forall	122
exists	9	Int	158	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 2

Status	unknown
Inferred Status	None
Size	146941
Compressed Size	22392
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 3

Status	unknown
Inferred Status	None
Size	146960
Compressed Size	22400
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 4

Status	unknown
Inferred Status	None
Size	147015
Compressed Size	22406
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 5

Status	unknown
Inferred Status	None
Size	147063
Compressed Size	22411
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 6

Status	unknown
Inferred Status	None
Size	147075
Compressed Size	22414
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 7

Status	unknown
Inferred Status	None
Size	147116
Compressed Size	22415
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 8

Status	unknown
Inferred Status	None
Size	147135
Compressed Size	22422
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 9

Status	unknown
Inferred Status	None
Size	147044
Compressed Size	22399
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 10

Status	unknown
Inferred Status	None
Size	147064
Compressed Size	22403
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	852	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 11

Status	unknown
Inferred Status	None
Size	147044
Compressed Size	22409
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	853	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 12

Status	unknown
Inferred Status	None
Size	147064
Compressed Size	22411
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	853	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 13

Status	unknown
Inferred Status	None
Size	147084
Compressed Size	22415
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	853	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 14

Status	unknown
Inferred Status	None
Size	147104
Compressed Size	22417
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	853	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 15

Status	unknown
Inferred Status	None
Size	147124
Compressed Size	22420
Max. Term Depth	34
Asserts	5
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	89	or	1
and	106	=>	144	=	853	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 16

Status	unknown
Inferred Status	None
Size	148284
Compressed Size	22657
Max. Term Depth	34
Asserts	10
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	4	Bool	32	not	89	or	1
and	107	=>	145	=	853	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 17

Status	unknown
Inferred Status	None
Size	148303
Compressed Size	22660
Max. Term Depth	34
Asserts	10
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	4	Bool	32	not	89	or	1
and	107	=>	145	=	853	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 18

Status	unknown
Inferred Status	None
Size	166336
Compressed Size	25046
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 19

Status	unknown
Inferred Status	None
Size	166352
Compressed Size	25057
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 20

Status	unknown
Inferred Status	None
Size	166371
Compressed Size	25057
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 21

Status	unknown
Inferred Status	None
Size	166391
Compressed Size	25052
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 22

Status	unknown
Inferred Status	None
Size	166563
Compressed Size	25063
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 23

Status	unknown
Inferred Status	None
Size	166563
Compressed Size	25080
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 24

Status	unknown
Inferred Status	None
Size	166578
Compressed Size	25081
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 25

Status	unknown
Inferred Status	None
Size	166592
Compressed Size	25071
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 26

Status	unknown
Inferred Status	None
Size	166620
Compressed Size	25084
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 27

Status	unknown
Inferred Status	None
Size	166512
Compressed Size	25070
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 28

Status	unknown
Inferred Status	None
Size	167096
Compressed Size	25227
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 29

Status	unknown
Inferred Status	None
Size	167114
Compressed Size	25229
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 30

Status	unknown
Inferred Status	None
Size	167151
Compressed Size	25234
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 31

Status	unknown
Inferred Status	None
Size	167174
Compressed Size	25239
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 32

Status	unknown
Inferred Status	None
Size	167257
Compressed Size	25259
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 33

Status	unknown
Inferred Status	None
Size	167225
Compressed Size	25250
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 34

Status	unknown
Inferred Status	None
Size	167290
Compressed Size	25251
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	59	*	10	<	10	<=	108
>	4	>=	73

Query 35

Status	unknown
Inferred Status	None
Size	167269
Compressed Size	25256
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 36

Status	unknown
Inferred Status	None
Size	167289
Compressed Size	25258
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 37

Status	unknown
Inferred Status	None
Size	167370
Compressed Size	25251
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 38

Status	unknown
Inferred Status	None
Size	167453
Compressed Size	25263
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	60	*	10	<	10	<=	108
>	4	>=	73

Query 39

Status	unknown
Inferred Status	None
Size	167345
Compressed Size	25261
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 40

Status	unknown
Inferred Status	None
Size	167410
Compressed Size	25261
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	59	*	10	<	10	<=	108
>	4	>=	73

Query 41

Status	unknown
Inferred Status	None
Size	167392
Compressed Size	25260
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 42

Status	unknown
Inferred Status	None
Size	167757
Compressed Size	25278
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	160	=>	186	=	963	forall	138
exists	19	Int	186	div	9	+	64
-	58	*	10	<	10	<=	109
>	4	>=	74

Query 43

Status	unknown
Inferred Status	None
Size	167616
Compressed Size	25280
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	160	=>	186	=	962	forall	138
exists	19	Int	186	div	9	+	64
-	58	*	10	<	10	<=	110
>	4	>=	74

Query 44

Status	unknown
Inferred Status	None
Size	167504
Compressed Size	25286
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 45

Status	unknown
Inferred Status	None
Size	167504
Compressed Size	25277
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 46

Status	unknown
Inferred Status	None
Size	167637
Compressed Size	25300
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	61	*	10	<	10	<=	108
>	4	>=	73

Query 47

Status	unknown
Inferred Status	None
Size	167561
Compressed Size	25291
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	65
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 48

Status	unknown
Inferred Status	None
Size	167544
Compressed Size	25278
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	109
>	4	>=	73

Query 49

Status	unknown
Inferred Status	None
Size	167564
Compressed Size	25280
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	109
>	4	>=	73

Query 50

Status	unknown
Inferred Status	None
Size	167642
Compressed Size	25310
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	962	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 51

Status	unknown
Inferred Status	None
Size	167662
Compressed Size	25319
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 52

Status	unknown
Inferred Status	None
Size	167682
Compressed Size	25321
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 53

Status	unknown
Inferred Status	None
Size	167702
Compressed Size	25319
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	145
Declared Datatypes	0

Symbols

true	4	Bool	145	not	94	or	1
and	158	=>	186	=	963	forall	138
exists	18	Int	185	div	9	+	64
-	58	*	10	<	10	<=	108
>	4	>=	73

Query 54

Status	unknown
Inferred Status	None
Size	147934
Compressed Size	22570
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	1
and	107	=>	145	=	860	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 55

Status	unknown
Inferred Status	None
Size	147958
Compressed Size	22578
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	1
and	107	=>	145	=	860	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 56

Status	unknown
Inferred Status	None
Size	147982
Compressed Size	22581
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	1
and	107	=>	145	=	860	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 57

Status	unknown
Inferred Status	None
Size	148009
Compressed Size	22595
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	1
and	107	=>	145	=	860	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 58

Status	unknown
Inferred Status	None
Size	148028
Compressed Size	22597
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	1
and	107	=>	145	=	860	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 59

Status	unknown
Inferred Status	None
Size	148048
Compressed Size	22596
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	1
and	107	=>	145	=	860	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 60

Status	unknown
Inferred Status	None
Size	148067
Compressed Size	22606
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	1
and	107	=>	145	=	860	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 61

Status	unknown
Inferred Status	None
Size	148223
Compressed Size	22637
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	3
and	108	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 62

Status	unknown
Inferred Status	None
Size	148242
Compressed Size	22639
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	3
and	108	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 63

Status	unknown
Inferred Status	None
Size	148263
Compressed Size	22641
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	3
and	108	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 64

Status	unknown
Inferred Status	None
Size	148283
Compressed Size	22643
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	3
and	108	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 65

Status	unknown
Inferred Status	None
Size	148209
Compressed Size	22629
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 66

Status	unknown
Inferred Status	None
Size	148229
Compressed Size	22632
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 67

Status	unknown
Inferred Status	None
Size	148250
Compressed Size	22632
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 68

Status	unknown
Inferred Status	None
Size	148270
Compressed Size	22635
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 69

Status	unknown
Inferred Status	None
Size	148289
Compressed Size	22639
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 70

Status	unknown
Inferred Status	None
Size	148309
Compressed Size	22641
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 71

Status	unknown
Inferred Status	None
Size	148330
Compressed Size	22642
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 72

Status	unknown
Inferred Status	None
Size	148350
Compressed Size	22646
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	2
and	107	=>	145	=	862	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 73

Status	unknown
Inferred Status	None
Size	148465
Compressed Size	22680
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	108	=>	145	=	867	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 74

Status	unknown
Inferred Status	None
Size	148486
Compressed Size	22686
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	108	=>	145	=	867	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 75

Status	unknown
Inferred Status	None
Size	148507
Compressed Size	22686
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	108	=>	145	=	867	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 76

Status	unknown
Inferred Status	None
Size	148551
Compressed Size	22691
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	108	=>	145	=	868	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 77

Status	unknown
Inferred Status	None
Size	148502
Compressed Size	22672
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	107	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 78

Status	unknown
Inferred Status	None
Size	148522
Compressed Size	22673
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	107	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 79

Status	unknown
Inferred Status	None
Size	148543
Compressed Size	22673
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	107	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 80

Status	unknown
Inferred Status	None
Size	148570
Compressed Size	22674
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	93	or	3
and	107	=>	145	=	865	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 81

Status	unknown
Inferred Status	None
Size	148560
Compressed Size	22664
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	2
and	107	=>	145	=	863	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 82

Status	unknown
Inferred Status	None
Size	148580
Compressed Size	22666
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	2
and	107	=>	145	=	863	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 83

Status	unknown
Inferred Status	None
Size	148601
Compressed Size	22664
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	2
and	107	=>	145	=	863	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 84

Status	unknown
Inferred Status	None
Size	148621
Compressed Size	22667
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	2
and	107	=>	145	=	863	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 85

Status	unknown
Inferred Status	None
Size	148843
Compressed Size	22717
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	5
and	109	=>	145	=	873	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 86

Status	unknown
Inferred Status	None
Size	148864
Compressed Size	22722
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	5
and	109	=>	145	=	873	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 87

Status	unknown
Inferred Status	None
Size	148885
Compressed Size	22723
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	5
and	109	=>	145	=	873	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 88

Status	unknown
Inferred Status	None
Size	148929
Compressed Size	22727
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	5
and	109	=>	145	=	874	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 89

Status	unknown
Inferred Status	None
Size	148963
Compressed Size	22715
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	97	or	6
and	109	=>	145	=	873	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 90

Status	unknown
Inferred Status	None
Size	148983
Compressed Size	22717
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	97	or	6
and	109	=>	145	=	873	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 91

Status	unknown
Inferred Status	None
Size	149004
Compressed Size	22716
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	97	or	6
and	109	=>	145	=	873	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 92

Status	unknown
Inferred Status	None
Size	149024
Compressed Size	22718
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	97	or	6
and	109	=>	145	=	873	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 93

Status	unknown
Inferred Status	None
Size	148898
Compressed Size	22720
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 94

Status	unknown
Inferred Status	None
Size	148918
Compressed Size	22721
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 95

Status	unknown
Inferred Status	None
Size	148939
Compressed Size	22721
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 96

Status	unknown
Inferred Status	None
Size	148966
Compressed Size	22724
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	94	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 97

Status	unknown
Inferred Status	None
Size	148999
Compressed Size	22719
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 98

Status	unknown
Inferred Status	None
Size	149019
Compressed Size	22721
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 99

Status	unknown
Inferred Status	None
Size	149040
Compressed Size	22721
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47

Query 100

Status	unknown
Inferred Status	None
Size	149060
Compressed Size	22722
Max. Term Depth	34
Asserts	13
Declared Functions	132
Declared Constants	1573
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	4	Bool	27	not	95	or	4
and	107	=>	145	=	869	forall	122
exists	8	Int	157	div	6	+	42
-	34	*	7	<	7	<=	70
>	3	>=	47