Benchmark

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

Benchmark without description.

Benchmark
Size	314390
Compressed Size	33270
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	371

Query 1

Status	unknown
Inferred Status	None
Size	140745
Compressed Size	21810
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	89	or	1
and	112	=>	148	=	837	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 2

Status	unknown
Inferred Status	None
Size	140792
Compressed Size	21822
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	89	or	1
and	112	=>	148	=	837	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 3

Status	unknown
Inferred Status	None
Size	140807
Compressed Size	21820
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	89	or	1
and	112	=>	148	=	837	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 4

Status	unknown
Inferred Status	None
Size	140826
Compressed Size	21822
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	89	or	1
and	112	=>	148	=	837	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 5

Status	unknown
Inferred Status	None
Size	140845
Compressed Size	21824
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	89	or	1
and	112	=>	148	=	837	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 6

Status	unknown
Inferred Status	None
Size	144368
Compressed Size	22441
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	847	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	79
>	5	>=	49

Query 7

Status	unknown
Inferred Status	None
Size	144389
Compressed Size	22439
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	847	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	79
>	5	>=	49

Query 8

Status	unknown
Inferred Status	None
Size	144405
Compressed Size	22442
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	847	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	80
>	5	>=	49

Query 9

Status	unknown
Inferred Status	None
Size	144595
Compressed Size	22483
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	847	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	79
>	5	>=	49

Query 10

Status	unknown
Inferred Status	None
Size	144656
Compressed Size	22490
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	848	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	79
>	5	>=	49

Query 11

Status	unknown
Inferred Status	None
Size	144652
Compressed Size	22493
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	848	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	79
>	5	>=	49

Query 12

Status	unknown
Inferred Status	None
Size	144651
Compressed Size	22484
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	848	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	79
>	5	>=	49

Query 13

Status	unknown
Inferred Status	None
Size	144733
Compressed Size	22497
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	847	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	10	<=	79
>	5	>=	49

Query 14

Status	unknown
Inferred Status	None
Size	144753
Compressed Size	22504
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	847	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	80
>	5	>=	49

Query 15

Status	unknown
Inferred Status	None
Size	144727
Compressed Size	22500
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	89	or	1
and	117	=>	153	=	848	forall	127
exists	8	Int	201	div	4	+	37
-	36	*	5	<	9	<=	79
>	5	>=	49

Query 16

Status	unknown
Inferred Status	None
Size	146102
Compressed Size	22700
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	855	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	10	<=	79
>	12	>=	49

Query 17

Status	unknown
Inferred Status	None
Size	146189
Compressed Size	22720
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	855	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	11	<=	79
>	12	>=	49

Query 18

Status	unknown
Inferred Status	None
Size	146209
Compressed Size	22722
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	855	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	10	<=	80
>	12	>=	49

Query 19

Status	unknown
Inferred Status	None
Size	146407
Compressed Size	22756
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	855	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	10	<=	79
>	12	>=	49

Query 20

Status	unknown
Inferred Status	None
Size	146357
Compressed Size	22755
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	856	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	10	<=	79
>	12	>=	49

Query 21

Status	unknown
Inferred Status	None
Size	146388
Compressed Size	22759
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	856	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	10	<=	79
>	12	>=	49

Query 22

Status	unknown
Inferred Status	None
Size	146407
Compressed Size	22760
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	856	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	10	<=	79
>	12	>=	49

Query 23

Status	unknown
Inferred Status	None
Size	146432
Compressed Size	22761
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	6	Bool	69	not	89	or	1
and	121	=>	158	=	856	forall	128
exists	8	Int	202	div	4	+	39
-	39	*	5	<	10	<=	79
>	12	>=	49

Query 24

Status	unknown
Inferred Status	None
Size	146156
Compressed Size	22704
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	44	*	5	<	7	<=	77
>	9	>=	53

Query 25

Status	unknown
Inferred Status	None
Size	146207
Compressed Size	22744
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	44	*	5	<	7	<=	77
>	8	>=	53

Query 26

Status	unknown
Inferred Status	None
Size	146210
Compressed Size	22743
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 27

Status	unknown
Inferred Status	None
Size	146283
Compressed Size	22752
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	92	or	1
and	119	=>	155	=	857	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 28

Status	unknown
Inferred Status	None
Size	146313
Compressed Size	22757
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 29

Status	unknown
Inferred Status	None
Size	146347
Compressed Size	22762
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	44	*	5	<	7	<=	77
>	8	>=	54

Query 30

Status	unknown
Inferred Status	None
Size	146347
Compressed Size	22761
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 31

Status	unknown
Inferred Status	None
Size	146358
Compressed Size	22766
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	44	*	5	<	7	<=	77
>	8	>=	53

Query 32

Status	unknown
Inferred Status	None
Size	146404
Compressed Size	22770
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	857	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 33

Status	unknown
Inferred Status	None
Size	146527
Compressed Size	22782
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	857	forall	127
exists	8	Int	201	div	4	+	42
-	45	*	5	<	7	<=	77
>	8	>=	55

Query 34

Status	unknown
Inferred Status	None
Size	146543
Compressed Size	22815
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	44	*	5	<	7	<=	78
>	8	>=	53

Query 35

Status	unknown
Inferred Status	None
Size	146588
Compressed Size	22813
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	43
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 36

Status	unknown
Inferred Status	None
Size	146625
Compressed Size	22831
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 37

Status	unknown
Inferred Status	None
Size	146647
Compressed Size	22834
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 38

Status	unknown
Inferred Status	None
Size	146701
Compressed Size	22837
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 39

Status	unknown
Inferred Status	None
Size	146736
Compressed Size	22848
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	44	*	5	<	7	<=	77
>	8	>=	54

Query 40

Status	unknown
Inferred Status	None
Size	146756
Compressed Size	22849
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	857	forall	127
exists	8	Int	201	div	4	+	42
-	43	*	5	<	7	<=	77
>	8	>=	53

Query 41

Status	unknown
Inferred Status	None
Size	146879
Compressed Size	22869
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	857	forall	127
exists	8	Int	201	div	4	+	42
-	45	*	5	<	7	<=	77
>	8	>=	55

Query 42

Status	unknown
Inferred Status	None
Size	146842
Compressed Size	22865
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	79
Declared Datatypes	0

Symbols

true	6	Bool	79	not	91	or	1
and	119	=>	155	=	856	forall	127
exists	8	Int	201	div	4	+	42
-	45	*	5	<	8	<=	77
>	8	>=	53

Query 43

Status	unknown
Inferred Status	None
Size	140715
Compressed Size	21775
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	89	or	1
and	111	=>	147	=	837	forall	124
exists	9	Int	199	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 44

Status	unknown
Inferred Status	None
Size	140680
Compressed Size	21766
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	89	or	1
and	111	=>	147	=	837	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 45

Status	unknown
Inferred Status	None
Size	147449
Compressed Size	22920
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 46

Status	unknown
Inferred Status	None
Size	147536
Compressed Size	22926
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	9	>=	52

Query 47

Status	unknown
Inferred Status	None
Size	147565
Compressed Size	22939
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 48

Status	unknown
Inferred Status	None
Size	147594
Compressed Size	22946
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 49

Status	unknown
Inferred Status	None
Size	147661
Compressed Size	22958
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	92	or	1
and	119	=>	156	=	874	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 50

Status	unknown
Inferred Status	None
Size	147664
Compressed Size	22951
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 51

Status	unknown
Inferred Status	None
Size	147683
Compressed Size	22959
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 52

Status	unknown
Inferred Status	None
Size	147702
Compressed Size	22955
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 53

Status	unknown
Inferred Status	None
Size	147721
Compressed Size	22956
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 54

Status	unknown
Inferred Status	None
Size	147768
Compressed Size	22962
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 55

Status	unknown
Inferred Status	None
Size	147761
Compressed Size	22964
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 56

Status	unknown
Inferred Status	None
Size	147781
Compressed Size	22970
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 57

Status	unknown
Inferred Status	None
Size	147826
Compressed Size	22978
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	53

Query 58

Status	unknown
Inferred Status	None
Size	147844
Compressed Size	22986
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 59

Status	unknown
Inferred Status	None
Size	147883
Compressed Size	22986
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	874	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 60

Status	unknown
Inferred Status	None
Size	147972
Compressed Size	22998
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	874	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	54

Query 61

Status	unknown
Inferred Status	None
Size	148022
Compressed Size	23019
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	37	*	5	<	7	<=	81
>	8	>=	52

Query 62

Status	unknown
Inferred Status	None
Size	148015
Compressed Size	23011
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 63

Status	unknown
Inferred Status	None
Size	148093
Compressed Size	23021
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	42
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 64

Status	unknown
Inferred Status	None
Size	148116
Compressed Size	23024
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	874	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 65

Status	unknown
Inferred Status	None
Size	148156
Compressed Size	23034
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 66

Status	unknown
Inferred Status	None
Size	148178
Compressed Size	23034
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 67

Status	unknown
Inferred Status	None
Size	148232
Compressed Size	23046
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 68

Status	unknown
Inferred Status	None
Size	148250
Compressed Size	23042
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	53

Query 69

Status	unknown
Inferred Status	None
Size	148287
Compressed Size	23048
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	874	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	52

Query 70

Status	unknown
Inferred Status	None
Size	148376
Compressed Size	23052
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	874	forall	128
exists	8	Int	202	div	4	+	41
-	36	*	5	<	7	<=	80
>	8	>=	54

Query 71

Status	unknown
Inferred Status	None
Size	148373
Compressed Size	23063
Max. Term Depth	34
Asserts	28
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	91
Declared Datatypes	0

Symbols

true	6	Bool	91	not	91	or	1
and	119	=>	156	=	873	forall	128
exists	8	Int	202	div	4	+	41
-	38	*	5	<	8	<=	80
>	8	>=	52

Query 72

Status	unknown
Inferred Status	None
Size	146064
Compressed Size	22688
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 73

Status	unknown
Inferred Status	None
Size	146081
Compressed Size	22691
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 74

Status	unknown
Inferred Status	None
Size	146148
Compressed Size	22701
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	92	or	1
and	116	=>	154	=	869	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 75

Status	unknown
Inferred Status	None
Size	146151
Compressed Size	22703
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 76

Status	unknown
Inferred Status	None
Size	146170
Compressed Size	22698
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 77

Status	unknown
Inferred Status	None
Size	146216
Compressed Size	22703
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 78

Status	unknown
Inferred Status	None
Size	146208
Compressed Size	22708
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 79

Status	unknown
Inferred Status	None
Size	146227
Compressed Size	22703
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 80

Status	unknown
Inferred Status	None
Size	146246
Compressed Size	22704
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 81

Status	unknown
Inferred Status	None
Size	146288
Compressed Size	22720
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	7	>=	48

Query 82

Status	unknown
Inferred Status	None
Size	146309
Compressed Size	22712
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 83

Status	unknown
Inferred Status	None
Size	146367
Compressed Size	22726
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	869	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 84

Status	unknown
Inferred Status	None
Size	146431
Compressed Size	22743
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	869	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	8	>=	48

Query 85

Status	unknown
Inferred Status	None
Size	146487
Compressed Size	22755
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	37	*	5	<	9	<=	76
>	6	>=	48

Query 86

Status	unknown
Inferred Status	None
Size	146520
Compressed Size	22753
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	40
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 87

Status	unknown
Inferred Status	None
Size	146581
Compressed Size	22773
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 88

Status	unknown
Inferred Status	None
Size	146603
Compressed Size	22775
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 89

Status	unknown
Inferred Status	None
Size	146657
Compressed Size	22784
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 90

Status	unknown
Inferred Status	None
Size	146672
Compressed Size	22791
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	7	>=	48

Query 91

Status	unknown
Inferred Status	None
Size	146731
Compressed Size	22793
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	869	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 92

Status	unknown
Inferred Status	None
Size	146732
Compressed Size	22788
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	869	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	6	>=	48

Query 93

Status	unknown
Inferred Status	None
Size	146815
Compressed Size	22797
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	869	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	9	<=	75
>	8	>=	48

Query 94

Status	unknown
Inferred Status	None
Size	146818
Compressed Size	22805
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	91	or	1
and	116	=>	154	=	868	forall	127
exists	8	Int	201	div	4	+	39
-	38	*	5	<	10	<=	75
>	6	>=	48

Query 95

Status	unknown
Inferred Status	None
Size	144446
Compressed Size	22391
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	89	or	1
and	112	=>	148	=	858	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	4	>=	46

Query 96

Status	unknown
Inferred Status	None
Size	144465
Compressed Size	22392
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	89	or	1
and	112	=>	148	=	858	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	4	>=	46

Query 97

Status	unknown
Inferred Status	None
Size	144484
Compressed Size	22398
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	89	or	1
and	112	=>	148	=	858	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	4	>=	46

Query 98

Status	unknown
Inferred Status	None
Size	144503
Compressed Size	22399
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	89	or	1
and	112	=>	148	=	858	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	4	>=	46

Query 99

Status	unknown
Inferred Status	None
Size	144635
Compressed Size	22425
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	89	or	1
and	112	=>	148	=	858	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	4	>=	46

Query 100

Status	unknown
Inferred Status	None
Size	144673
Compressed Size	22430
Max. Term Depth	34
Asserts	27
Declared Functions	131
Declared Constants	1457
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	89	or	1
and	112	=>	148	=	858	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	4	>=	46