Benchmark

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

Benchmark without description.

Benchmark
Size	1260262
Compressed Size	85890
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	1927

Query 1

Status	unknown
Inferred Status	None
Size	156383
Compressed Size	23882
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156444
Compressed Size	23906
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156463
Compressed Size	23908
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156518
Compressed Size	23908
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156566
Compressed Size	23918
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156578
Compressed Size	23917
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156619
Compressed Size	23916
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156638
Compressed Size	23925
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156547
Compressed Size	23903
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156567
Compressed Size	23908
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156554
Compressed Size	23907
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156574
Compressed Size	23910
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156594
Compressed Size	23919
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156607
Compressed Size	23922
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156634
Compressed Size	23924
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156647
Compressed Size	23927
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156674
Compressed Size	23924
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156687
Compressed Size	23934
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156714
Compressed Size	23930
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156727
Compressed Size	23938
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156754
Compressed Size	23933
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156767
Compressed Size	23941
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156794
Compressed Size	23940
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	156814
Compressed Size	23940
Max. Term Depth	34
Asserts	5
Declared Functions	148
Declared Constants	1669
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	162507
Compressed Size	24494
Max. Term Depth	34
Asserts	10
Declared Functions	148
Declared Constants	1669
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	162526
Compressed Size	24499
Max. Term Depth	34
Asserts	10
Declared Functions	148
Declared Constants	1669
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	162545
Compressed Size	24501
Max. Term Depth	34
Asserts	10
Declared Functions	148
Declared Constants	1669
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	162533
Compressed Size	24488
Max. Term Depth	34
Asserts	10
Declared Functions	148
Declared Constants	1669
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	162550
Compressed Size	24493
Max. Term Depth	34
Asserts	10
Declared Functions	148
Declared Constants	1669
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	162569
Compressed Size	24495
Max. Term Depth	34
Asserts	10
Declared Functions	148
Declared Constants	1669
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	162584
Compressed Size	24496
Max. Term Depth	34
Asserts	10
Declared Functions	148
Declared Constants	1669
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	164780
Compressed Size	25291
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164806
Compressed Size	25301
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164815
Compressed Size	25296
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164853
Compressed Size	25307
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164866
Compressed Size	25301
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164885
Compressed Size	25304
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164904
Compressed Size	25303
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164995
Compressed Size	25317
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164950
Compressed Size	25315
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	164983
Compressed Size	25316
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	165034
Compressed Size	25330
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	165017
Compressed Size	25324
Max. Term Depth	34
Asserts	72
Declared Functions	148
Declared Constants	1669
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	165831
Compressed Size	25343
Max. Term Depth	34
Asserts	82
Declared Functions	148
Declared Constants	1669
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	165915
Compressed Size	25354
Max. Term Depth	34
Asserts	82
Declared Functions	148
Declared Constants	1669
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	165863
Compressed Size	25352
Max. Term Depth	34
Asserts	82
Declared Functions	148
Declared Constants	1669
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	165897
Compressed Size	25352
Max. Term Depth	34
Asserts	82
Declared Functions	148
Declared Constants	1669
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	164820
Compressed Size	25273
Max. Term Depth	34
Asserts	80
Declared Functions	148
Declared Constants	1669
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	164904
Compressed Size	25277
Max. Term Depth	34
Asserts	80
Declared Functions	148
Declared Constants	1669
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	164852
Compressed Size	25280
Max. Term Depth	34
Asserts	80
Declared Functions	148
Declared Constants	1669
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	164886
Compressed Size	25279
Max. Term Depth	34
Asserts	80
Declared Functions	148
Declared Constants	1669
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	163490
Compressed Size	25092
Max. Term Depth	34
Asserts	79
Declared Functions	148
Declared Constants	1669
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	163574
Compressed Size	25101
Max. Term Depth	34
Asserts	79
Declared Functions	148
Declared Constants	1669
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	163522
Compressed Size	25099
Max. Term Depth	34
Asserts	79
Declared Functions	148
Declared Constants	1669
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	163556
Compressed Size	25100
Max. Term Depth	34
Asserts	79
Declared Functions	148
Declared Constants	1669
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	161959
Compressed Size	24781
Max. Term Depth	34
Asserts	71
Declared Functions	148
Declared Constants	1669
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	168420
Compressed Size	25565
Max. Term Depth	34
Asserts	79
Declared Functions	148
Declared Constants	1669
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	168474
Compressed Size	25584
Max. Term Depth	34
Asserts	79
Declared Functions	148
Declared Constants	1669
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	168452
Compressed Size	25569
Max. Term Depth	34
Asserts	79
Declared Functions	148
Declared Constants	1669
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	156645
Compressed Size	23938
Max. Term Depth	34
Asserts	13
Declared Functions	148
Declared Constants	1669
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 61

Status	unknown
Inferred Status	None
Size	156673
Compressed Size	23943
Max. Term Depth	34
Asserts	13
Declared Functions	148
Declared Constants	1669
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 62

Status	unknown
Inferred Status	None
Size	156651
Compressed Size	23940
Max. Term Depth	34
Asserts	13
Declared Functions	148
Declared Constants	1669
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 63

Status	unknown
Inferred Status	None
Size	156688
Compressed Size	23952
Max. Term Depth	34
Asserts	13
Declared Functions	148
Declared Constants	1669
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 64

Status	unknown
Inferred Status	None
Size	172405
Compressed Size	26338
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 65

Status	unknown
Inferred Status	None
Size	172576
Compressed Size	26355
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 66

Status	unknown
Inferred Status	None
Size	172577
Compressed Size	26361
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 67

Status	unknown
Inferred Status	None
Size	172593
Compressed Size	26359
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 68

Status	unknown
Inferred Status	None
Size	172608
Compressed Size	26358
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 69

Status	unknown
Inferred Status	None
Size	172637
Compressed Size	26359
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 70

Status	unknown
Inferred Status	None
Size	172529
Compressed Size	26355
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 71

Status	unknown
Inferred Status	None
Size	172781
Compressed Size	26430
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 72

Status	unknown
Inferred Status	None
Size	172811
Compressed Size	26432
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 73

Status	unknown
Inferred Status	None
Size	172923
Compressed Size	26453
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 74

Status	unknown
Inferred Status	None
Size	173073
Compressed Size	26454
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 75

Status	unknown
Inferred Status	None
Size	172876
Compressed Size	26442
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 76

Status	unknown
Inferred Status	None
Size	172981
Compressed Size	26445
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 77

Status	unknown
Inferred Status	None
Size	172906
Compressed Size	26445
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 78

Status	unknown
Inferred Status	None
Size	173083
Compressed Size	26448
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 79

Status	unknown
Inferred Status	None
Size	173210
Compressed Size	26532
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 80

Status	unknown
Inferred Status	None
Size	174604
Compressed Size	26686
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 81

Status	unknown
Inferred Status	None
Size	173326
Compressed Size	26541
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 82

Status	unknown
Inferred Status	None
Size	173348
Compressed Size	26544
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 83

Status	unknown
Inferred Status	None
Size	173359
Compressed Size	26538
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 84

Status	unknown
Inferred Status	None
Size	173393
Compressed Size	26541
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 85

Status	unknown
Inferred Status	None
Size	173414
Compressed Size	26543
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 86

Status	unknown
Inferred Status	None
Size	173438
Compressed Size	26550
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 87

Status	unknown
Inferred Status	None
Size	173477
Compressed Size	26551
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 88

Status	unknown
Inferred Status	None
Size	173484
Compressed Size	26549
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 89

Status	unknown
Inferred Status	None
Size	173563
Compressed Size	26553
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 90

Status	unknown
Inferred Status	None
Size	173519
Compressed Size	26555
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 91

Status	unknown
Inferred Status	None
Size	173540
Compressed Size	26557
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 92

Status	unknown
Inferred Status	None
Size	173561
Compressed Size	26558
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 93

Status	unknown
Inferred Status	None
Size	173610
Compressed Size	26560
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 94

Status	unknown
Inferred Status	None
Size	173675
Compressed Size	26571
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 95

Status	unknown
Inferred Status	None
Size	173649
Compressed Size	26558
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 96

Status	unknown
Inferred Status	None
Size	173696
Compressed Size	26569
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 97

Status	unknown
Inferred Status	None
Size	173809
Compressed Size	26564
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 98

Status	unknown
Inferred Status	None
Size	173710
Compressed Size	26572
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 99

Status	unknown
Inferred Status	None
Size	173708
Compressed Size	26567
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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

Query 100

Status	unknown
Inferred Status	None
Size	173770
Compressed Size	26577
Max. Term Depth	34
Asserts	15
Declared Functions	148
Declared Constants	1669
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	130
Declared Datatypes	0

Symbols

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