Benchmark

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

Benchmark without description.

Benchmark
Size	1321728
Compressed Size	89415
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	2011

Query 1

Status	unknown
Inferred Status	None
Size	156593
Compressed Size	23896
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 2

Status	unknown
Inferred Status	None
Size	156654
Compressed Size	23913
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 3

Status	unknown
Inferred Status	None
Size	156673
Compressed Size	23923
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 4

Status	unknown
Inferred Status	None
Size	156728
Compressed Size	23923
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 5

Status	unknown
Inferred Status	None
Size	156776
Compressed Size	23934
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 6

Status	unknown
Inferred Status	None
Size	156788
Compressed Size	23933
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 7

Status	unknown
Inferred Status	None
Size	156829
Compressed Size	23932
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 8

Status	unknown
Inferred Status	None
Size	156848
Compressed Size	23940
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 9

Status	unknown
Inferred Status	None
Size	156757
Compressed Size	23918
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 10

Status	unknown
Inferred Status	None
Size	156777
Compressed Size	23922
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 11

Status	unknown
Inferred Status	None
Size	156764
Compressed Size	23922
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 12

Status	unknown
Inferred Status	None
Size	156784
Compressed Size	23925
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 13

Status	unknown
Inferred Status	None
Size	156804
Compressed Size	23933
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 14

Status	unknown
Inferred Status	None
Size	156817
Compressed Size	23937
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 15

Status	unknown
Inferred Status	None
Size	156844
Compressed Size	23939
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 16

Status	unknown
Inferred Status	None
Size	156857
Compressed Size	23942
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 17

Status	unknown
Inferred Status	None
Size	156884
Compressed Size	23938
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 18

Status	unknown
Inferred Status	None
Size	156897
Compressed Size	23947
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 19

Status	unknown
Inferred Status	None
Size	156924
Compressed Size	23944
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 20

Status	unknown
Inferred Status	None
Size	156937
Compressed Size	23951
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 21

Status	unknown
Inferred Status	None
Size	156964
Compressed Size	23946
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 22

Status	unknown
Inferred Status	None
Size	156977
Compressed Size	23954
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 23

Status	unknown
Inferred Status	None
Size	157004
Compressed Size	23954
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 24

Status	unknown
Inferred Status	None
Size	157024
Compressed Size	23954
Max. Term Depth	34
Asserts	5
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	900	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 25

Status	unknown
Inferred Status	None
Size	162717
Compressed Size	24507
Max. Term Depth	34
Asserts	10
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	90	or	1
and	125	=>	157	=	914	forall	131
exists	9	Int	247	div	4	+	38
-	36	*	5	<	7	<=	78
>	3	>=	51

Query 26

Status	unknown
Inferred Status	None
Size	162736
Compressed Size	24512
Max. Term Depth	34
Asserts	10
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	90	or	1
and	125	=>	157	=	914	forall	131
exists	9	Int	247	div	4	+	38
-	36	*	5	<	7	<=	78
>	3	>=	51

Query 27

Status	unknown
Inferred Status	None
Size	162755
Compressed Size	24513
Max. Term Depth	34
Asserts	10
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	90	or	1
and	125	=>	157	=	914	forall	131
exists	9	Int	247	div	4	+	38
-	36	*	5	<	7	<=	78
>	3	>=	51

Query 28

Status	unknown
Inferred Status	None
Size	162743
Compressed Size	24504
Max. Term Depth	34
Asserts	10
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	90	or	1
and	125	=>	157	=	914	forall	131
exists	8	Int	246	div	4	+	38
-	36	*	5	<	7	<=	78
>	3	>=	51

Query 29

Status	unknown
Inferred Status	None
Size	162760
Compressed Size	24506
Max. Term Depth	34
Asserts	10
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	90	or	1
and	125	=>	157	=	915	forall	131
exists	8	Int	246	div	4	+	38
-	36	*	5	<	7	<=	78
>	3	>=	51

Query 30

Status	unknown
Inferred Status	None
Size	162779
Compressed Size	24507
Max. Term Depth	34
Asserts	10
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	90	or	1
and	125	=>	157	=	915	forall	131
exists	8	Int	246	div	4	+	38
-	36	*	5	<	7	<=	78
>	3	>=	51

Query 31

Status	unknown
Inferred Status	None
Size	162794
Compressed Size	24508
Max. Term Depth	34
Asserts	10
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	90	or	1
and	125	=>	157	=	915	forall	131
exists	8	Int	246	div	4	+	38
-	36	*	5	<	7	<=	78
>	3	>=	51

Query 32

Status	unknown
Inferred Status	None
Size	164990
Compressed Size	25327
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 33

Status	unknown
Inferred Status	None
Size	165016
Compressed Size	25334
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 34

Status	unknown
Inferred Status	None
Size	165025
Compressed Size	25327
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 35

Status	unknown
Inferred Status	None
Size	165063
Compressed Size	25339
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 36

Status	unknown
Inferred Status	None
Size	165076
Compressed Size	25334
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 37

Status	unknown
Inferred Status	None
Size	165095
Compressed Size	25336
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 38

Status	unknown
Inferred Status	None
Size	165114
Compressed Size	25337
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 39

Status	unknown
Inferred Status	None
Size	165205
Compressed Size	25349
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	125	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	58
-	40	*	8	<	9	<=	81
>	4	>=	54

Query 40

Status	unknown
Inferred Status	None
Size	165160
Compressed Size	25346
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 41

Status	unknown
Inferred Status	None
Size	165193
Compressed Size	25349
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	942	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 42

Status	unknown
Inferred Status	None
Size	165244
Compressed Size	25362
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	125	=>	158	=	941	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	81
>	4	>=	54

Query 43

Status	unknown
Inferred Status	None
Size	165227
Compressed Size	25356
Max. Term Depth	34
Asserts	72
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	3	Bool	53	not	96	or	1
and	124	=>	158	=	942	forall	124
exists	8	Int	198	div	7	+	57
-	38	*	8	<	9	<=	80
>	4	>=	53

Query 44

Status	unknown
Inferred Status	None
Size	166041
Compressed Size	25372
Max. Term Depth	34
Asserts	82
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	3	Bool	50	not	92	or	1
and	137	=>	163	=	935	forall	129
exists	12	Int	207	div	4	+	46
-	45	*	5	<	9	<=	93
>	4	>=	62

Query 45

Status	unknown
Inferred Status	None
Size	166125
Compressed Size	25379
Max. Term Depth	34
Asserts	82
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	3	Bool	50	not	92	or	1
and	138	=>	163	=	935	forall	129
exists	12	Int	207	div	4	+	47
-	47	*	5	<	9	<=	94
>	4	>=	63

Query 46

Status	unknown
Inferred Status	None
Size	166073
Compressed Size	25379
Max. Term Depth	34
Asserts	82
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	3	Bool	50	not	92	or	1
and	137	=>	163	=	936	forall	129
exists	12	Int	207	div	4	+	46
-	45	*	5	<	9	<=	93
>	4	>=	62

Query 47

Status	unknown
Inferred Status	None
Size	166107
Compressed Size	25378
Max. Term Depth	34
Asserts	82
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	3	Bool	50	not	92	or	1
and	137	=>	163	=	936	forall	129
exists	12	Int	207	div	4	+	46
-	45	*	5	<	9	<=	93
>	4	>=	62

Query 48

Status	unknown
Inferred Status	None
Size	165030
Compressed Size	25306
Max. Term Depth	34
Asserts	80
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	92	or	1
and	132	=>	160	=	930	forall	129
exists	11	Int	206	div	4	+	42
-	45	*	5	<	9	<=	91
>	3	>=	60

Query 49

Status	unknown
Inferred Status	None
Size	165114
Compressed Size	25311
Max. Term Depth	34
Asserts	80
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	92	or	1
and	133	=>	160	=	930	forall	129
exists	11	Int	206	div	4	+	43
-	47	*	5	<	9	<=	92
>	3	>=	61

Query 50

Status	unknown
Inferred Status	None
Size	165062
Compressed Size	25313
Max. Term Depth	34
Asserts	80
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	92	or	1
and	132	=>	160	=	931	forall	129
exists	11	Int	206	div	4	+	42
-	45	*	5	<	9	<=	91
>	3	>=	60

Query 51

Status	unknown
Inferred Status	None
Size	165096
Compressed Size	25314
Max. Term Depth	34
Asserts	80
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	3	Bool	48	not	92	or	1
and	132	=>	160	=	931	forall	129
exists	11	Int	206	div	4	+	42
-	45	*	5	<	9	<=	91
>	3	>=	60

Query 52

Status	unknown
Inferred Status	None
Size	163700
Compressed Size	25112
Max. Term Depth	34
Asserts	79
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	3	Bool	38	not	92	or	1
and	128	=>	159	=	926	forall	128
exists	10	Int	204	div	4	+	41
-	42	*	5	<	8	<=	88
>	3	>=	57

Query 53

Status	unknown
Inferred Status	None
Size	163784
Compressed Size	25119
Max. Term Depth	34
Asserts	79
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	3	Bool	38	not	92	or	1
and	129	=>	159	=	926	forall	128
exists	10	Int	204	div	4	+	42
-	44	*	5	<	8	<=	89
>	3	>=	58

Query 54

Status	unknown
Inferred Status	None
Size	163732
Compressed Size	25118
Max. Term Depth	34
Asserts	79
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	3	Bool	38	not	92	or	1
and	128	=>	159	=	927	forall	128
exists	10	Int	204	div	4	+	41
-	42	*	5	<	8	<=	88
>	3	>=	57

Query 55

Status	unknown
Inferred Status	None
Size	163766
Compressed Size	25118
Max. Term Depth	34
Asserts	79
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	3	Bool	38	not	92	or	1
and	128	=>	159	=	927	forall	128
exists	10	Int	204	div	4	+	41
-	42	*	5	<	8	<=	88
>	3	>=	57

Query 56

Status	unknown
Inferred Status	None
Size	162169
Compressed Size	24800
Max. Term Depth	34
Asserts	71
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	3	Bool	22	not	92	or	1
and	121	=>	158	=	924	forall	124
exists	8	Int	198	div	4	+	41
-	38	*	5	<	7	<=	80
>	3	>=	54

Query 57

Status	unknown
Inferred Status	None
Size	168630
Compressed Size	25592
Max. Term Depth	34
Asserts	79
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	3	Bool	33	not	95	or	1
and	135	=>	171	=	942	forall	133
exists	12	Int	213	div	4	+	52
-	49	*	5	<	8	<=	90
>	4	>=	61

Query 58

Status	unknown
Inferred Status	None
Size	168684
Compressed Size	25612
Max. Term Depth	34
Asserts	79
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	3	Bool	33	not	95	or	1
and	136	=>	171	=	941	forall	133
exists	12	Int	213	div	4	+	52
-	49	*	5	<	8	<=	91
>	4	>=	62

Query 59

Status	unknown
Inferred Status	None
Size	168662
Compressed Size	25597
Max. Term Depth	34
Asserts	79
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	3	Bool	33	not	95	or	1
and	135	=>	171	=	942	forall	133
exists	12	Int	213	div	4	+	52
-	49	*	5	<	8	<=	90
>	4	>=	61

Query 60

Status	unknown
Inferred Status	None
Size	160924
Compressed Size	24645
Max. Term Depth	34
Asserts	13
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	3	Bool	75	not	90	or	1
and	116	=>	149	=	921	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 61

Status	unknown
Inferred Status	None
Size	160943
Compressed Size	24645
Max. Term Depth	34
Asserts	13
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	3	Bool	75	not	90	or	1
and	116	=>	149	=	921	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 62

Status	unknown
Inferred Status	None
Size	160958
Compressed Size	24645
Max. Term Depth	34
Asserts	13
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	3	Bool	75	not	90	or	1
and	116	=>	149	=	921	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 63

Status	unknown
Inferred Status	None
Size	160977
Compressed Size	24651
Max. Term Depth	34
Asserts	13
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	3	Bool	75	not	90	or	1
and	116	=>	149	=	921	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 64

Status	unknown
Inferred Status	None
Size	161009
Compressed Size	24651
Max. Term Depth	34
Asserts	13
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	3	Bool	75	not	90	or	1
and	116	=>	149	=	921	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 65

Status	unknown
Inferred Status	None
Size	161034
Compressed Size	24651
Max. Term Depth	34
Asserts	13
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	75
Declared Datatypes	0

Symbols

true	3	Bool	75	not	90	or	1
and	116	=>	149	=	921	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 66

Status	unknown
Inferred Status	None
Size	156860
Compressed Size	23954
Max. Term Depth	34
Asserts	13
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	3	Bool	12	not	90	or	1
and	115	=>	148	=	899	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	73
>	3	>=	49

Query 67

Status	unknown
Inferred Status	None
Size	173042
Compressed Size	26461
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 68

Status	unknown
Inferred Status	None
Size	173059
Compressed Size	26468
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	72
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 69

Status	unknown
Inferred Status	None
Size	173233
Compressed Size	26480
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 70

Status	unknown
Inferred Status	None
Size	173234
Compressed Size	26485
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 71

Status	unknown
Inferred Status	None
Size	173250
Compressed Size	26482
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 72

Status	unknown
Inferred Status	None
Size	173265
Compressed Size	26483
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 73

Status	unknown
Inferred Status	None
Size	173294
Compressed Size	26484
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 74

Status	unknown
Inferred Status	None
Size	173186
Compressed Size	26480
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 75

Status	unknown
Inferred Status	None
Size	173462
Compressed Size	26561
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 76

Status	unknown
Inferred Status	None
Size	173493
Compressed Size	26564
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 77

Status	unknown
Inferred Status	None
Size	173605
Compressed Size	26574
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	152	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	74
-	55	*	8	<	11	<=	102
>	5	>=	71

Query 78

Status	unknown
Inferred Status	None
Size	173755
Compressed Size	26595
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	152	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	102
>	5	>=	71

Query 79

Status	unknown
Inferred Status	None
Size	173554
Compressed Size	26582
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	72
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 80

Status	unknown
Inferred Status	None
Size	173574
Compressed Size	26585
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	72
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 81

Status	unknown
Inferred Status	None
Size	173600
Compressed Size	26580
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 82

Status	unknown
Inferred Status	None
Size	173705
Compressed Size	26580
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	72
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 83

Status	unknown
Inferred Status	None
Size	173630
Compressed Size	26583
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	102
>	5	>=	70

Query 84

Status	unknown
Inferred Status	None
Size	173807
Compressed Size	26598
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	72
-	55	*	8	<	11	<=	102
>	5	>=	70

Query 85

Status	unknown
Inferred Status	None
Size	173953
Compressed Size	26683
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	72
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 86

Status	unknown
Inferred Status	None
Size	173969
Compressed Size	26674
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	102
>	5	>=	70

Query 87

Status	unknown
Inferred Status	None
Size	175374
Compressed Size	26837
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	95	or	1
and	158	=>	178	=	981	forall	135
exists	16	Int	219	div	9	+	80
-	57	*	10	<	11	<=	106
>	5	>=	74

Query 88

Status	unknown
Inferred Status	None
Size	174096
Compressed Size	26688
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	95	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 89

Status	unknown
Inferred Status	None
Size	174111
Compressed Size	26685
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 90

Status	unknown
Inferred Status	None
Size	174139
Compressed Size	26693
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 91

Status	unknown
Inferred Status	None
Size	174150
Compressed Size	26685
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 92

Status	unknown
Inferred Status	None
Size	174184
Compressed Size	26688
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 93

Status	unknown
Inferred Status	None
Size	174205
Compressed Size	26691
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 94

Status	unknown
Inferred Status	None
Size	174226
Compressed Size	26692
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 95

Status	unknown
Inferred Status	None
Size	174247
Compressed Size	26694
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 96

Status	unknown
Inferred Status	None
Size	174271
Compressed Size	26702
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 97

Status	unknown
Inferred Status	None
Size	174310
Compressed Size	26702
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	102
>	5	>=	70

Query 98

Status	unknown
Inferred Status	None
Size	174317
Compressed Size	26702
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 99

Status	unknown
Inferred Status	None
Size	174396
Compressed Size	26706
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	977	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70

Query 100

Status	unknown
Inferred Status	None
Size	174352
Compressed Size	26704
Max. Term Depth	34
Asserts	15
Declared Functions	149
Declared Constants	1674
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	137
Declared Datatypes	0

Symbols

true	3	Bool	137	not	94	or	1
and	151	=>	174	=	978	forall	133
exists	13	Int	214	div	7	+	71
-	55	*	8	<	11	<=	101
>	5	>=	70