Benchmark

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

Benchmark without description.

Benchmark
Size	190878
Compressed Size	25793
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	118

Query 1

Status	unknown
Inferred Status	None
Size	139228
Compressed Size	21521
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

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

Query 2

Status	unknown
Inferred Status	None
Size	139271
Compressed Size	21524
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

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

Query 3

Status	unknown
Inferred Status	None
Size	142749
Compressed Size	22136
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 4

Status	unknown
Inferred Status	None
Size	142767
Compressed Size	22148
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	41
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 5

Status	unknown
Inferred Status	None
Size	142786
Compressed Size	22149
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	41
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 6

Status	unknown
Inferred Status	None
Size	142922
Compressed Size	22173
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 7

Status	unknown
Inferred Status	None
Size	142941
Compressed Size	22171
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 8

Status	unknown
Inferred Status	None
Size	142960
Compressed Size	22173
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 9

Status	unknown
Inferred Status	None
Size	142977
Compressed Size	22179
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	41
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 10

Status	unknown
Inferred Status	None
Size	143064
Compressed Size	22194
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 11

Status	unknown
Inferred Status	None
Size	143083
Compressed Size	22196
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 12

Status	unknown
Inferred Status	None
Size	143171
Compressed Size	22206
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 13

Status	unknown
Inferred Status	None
Size	143149
Compressed Size	22217
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	846	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 14

Status	unknown
Inferred Status	None
Size	143142
Compressed Size	22206
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	847	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 15

Status	unknown
Inferred Status	None
Size	143168
Compressed Size	22210
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	847	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 16

Status	unknown
Inferred Status	None
Size	143200
Compressed Size	22217
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	89	or	1
and	113	=>	154	=	847	forall	125
exists	8	Int	199	div	4	+	40
-	34	*	5	<	7	<=	73
>	7	>=	46

Query 17

Status	unknown
Inferred Status	None
Size	139523
Compressed Size	21587
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	89	or	1
and	112	=>	148	=	836	forall	124
exists	9	Int	199	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 18

Status	unknown
Inferred Status	None
Size	139491
Compressed Size	21584
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 19

Status	unknown
Inferred Status	None
Size	139507
Compressed Size	21582
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 20

Status	unknown
Inferred Status	None
Size	144219
Compressed Size	22350
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 21

Status	unknown
Inferred Status	None
Size	144307
Compressed Size	22364
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	80
>	5	>=	50

Query 22

Status	unknown
Inferred Status	None
Size	144311
Compressed Size	22374
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 23

Status	unknown
Inferred Status	None
Size	144328
Compressed Size	22377
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 24

Status	unknown
Inferred Status	None
Size	144395
Compressed Size	22386
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	92	or	1
and	118	=>	155	=	862	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 25

Status	unknown
Inferred Status	None
Size	144398
Compressed Size	22390
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 26

Status	unknown
Inferred Status	None
Size	144444
Compressed Size	22391
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 27

Status	unknown
Inferred Status	None
Size	144436
Compressed Size	22391
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 28

Status	unknown
Inferred Status	None
Size	144479
Compressed Size	22399
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	6	>=	50

Query 29

Status	unknown
Inferred Status	None
Size	144498
Compressed Size	22396
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 30

Status	unknown
Inferred Status	None
Size	144537
Compressed Size	22406
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	862	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 31

Status	unknown
Inferred Status	None
Size	144624
Compressed Size	22407
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	862	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	7	>=	50

Query 32

Status	unknown
Inferred Status	None
Size	144646
Compressed Size	22426
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	36	*	5	<	7	<=	80
>	5	>=	50

Query 33

Status	unknown
Inferred Status	None
Size	144639
Compressed Size	22425
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 34

Status	unknown
Inferred Status	None
Size	144656
Compressed Size	22435
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	43
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 35

Status	unknown
Inferred Status	None
Size	144709
Compressed Size	22435
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 36

Status	unknown
Inferred Status	None
Size	144751
Compressed Size	22438
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	43
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 37

Status	unknown
Inferred Status	None
Size	144774
Compressed Size	22448
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	862	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 38

Status	unknown
Inferred Status	None
Size	144814
Compressed Size	22456
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 39

Status	unknown
Inferred Status	None
Size	144836
Compressed Size	22457
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 40

Status	unknown
Inferred Status	None
Size	144890
Compressed Size	22464
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 41

Status	unknown
Inferred Status	None
Size	144883
Compressed Size	22460
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 42

Status	unknown
Inferred Status	None
Size	144927
Compressed Size	22466
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	6	>=	50

Query 43

Status	unknown
Inferred Status	None
Size	144965
Compressed Size	22466
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	862	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	5	>=	50

Query 44

Status	unknown
Inferred Status	None
Size	145052
Compressed Size	22476
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	862	forall	127
exists	8	Int	201	div	4	+	42
-	35	*	5	<	7	<=	79
>	7	>=	50

Query 45

Status	unknown
Inferred Status	None
Size	145051
Compressed Size	22481
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	6	Bool	71	not	91	or	1
and	118	=>	155	=	861	forall	127
exists	8	Int	201	div	4	+	42
-	37	*	5	<	8	<=	79
>	5	>=	50

Query 46

Status	unknown
Inferred Status	None
Size	142074
Compressed Size	21985
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 47

Status	unknown
Inferred Status	None
Size	142093
Compressed Size	21989
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 48

Status	unknown
Inferred Status	None
Size	142109
Compressed Size	21995
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 49

Status	unknown
Inferred Status	None
Size	142220
Compressed Size	22017
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 50

Status	unknown
Inferred Status	None
Size	142258
Compressed Size	22023
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 51

Status	unknown
Inferred Status	None
Size	142299
Compressed Size	22025
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 52

Status	unknown
Inferred Status	None
Size	142317
Compressed Size	22035
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 53

Status	unknown
Inferred Status	None
Size	142345
Compressed Size	22032
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 54

Status	unknown
Inferred Status	None
Size	142364
Compressed Size	22041
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

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

Query 55

Status	unknown
Inferred Status	None
Size	140546
Compressed Size	21762
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

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

Query 56

Status	unknown
Inferred Status	None
Size	140542
Compressed Size	21763
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

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

Query 57

Status	unknown
Inferred Status	None
Size	140590
Compressed Size	21770
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

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

Query 58

Status	unknown
Inferred Status	None
Size	140585
Compressed Size	21762
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

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

Query 59

Status	unknown
Inferred Status	None
Size	140364
Compressed Size	21736
Max. Term Depth	34
Asserts	23
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

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

Query 60

Status	unknown
Inferred Status	None
Size	140356
Compressed Size	21737
Max. Term Depth	34
Asserts	23
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

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

Query 61

Status	unknown
Inferred Status	None
Size	140407
Compressed Size	21747
Max. Term Depth	34
Asserts	23
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

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

Query 62

Status	unknown
Inferred Status	None
Size	140424
Compressed Size	21747
Max. Term Depth	34
Asserts	23
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

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

Query 63

Status	unknown
Inferred Status	None
Size	142182
Compressed Size	22006
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	118	=>	153	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 64

Status	unknown
Inferred Status	None
Size	142178
Compressed Size	22004
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	118	=>	153	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 65

Status	unknown
Inferred Status	None
Size	142243
Compressed Size	22007
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	118	=>	153	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 66

Status	unknown
Inferred Status	None
Size	142249
Compressed Size	22018
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	118	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 67

Status	unknown
Inferred Status	None
Size	142245
Compressed Size	22011
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	118	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 68

Status	unknown
Inferred Status	None
Size	142310
Compressed Size	22019
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	118	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 69

Status	unknown
Inferred Status	None
Size	142314
Compressed Size	22017
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 70

Status	unknown
Inferred Status	None
Size	142336
Compressed Size	22029
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 71

Status	unknown
Inferred Status	None
Size	142355
Compressed Size	22030
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 72

Status	unknown
Inferred Status	None
Size	142352
Compressed Size	22027
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 73

Status	unknown
Inferred Status	None
Size	142458
Compressed Size	22037
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 74

Status	unknown
Inferred Status	None
Size	142431
Compressed Size	22033
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 75

Status	unknown
Inferred Status	None
Size	142437
Compressed Size	22030
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 76

Status	unknown
Inferred Status	None
Size	142460
Compressed Size	22047
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 77

Status	unknown
Inferred Status	None
Size	142480
Compressed Size	22046
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 78

Status	unknown
Inferred Status	None
Size	142477
Compressed Size	22043
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 79

Status	unknown
Inferred Status	None
Size	142583
Compressed Size	22056
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 80

Status	unknown
Inferred Status	None
Size	142556
Compressed Size	22052
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 81

Status	unknown
Inferred Status	None
Size	142629
Compressed Size	22093
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 82

Status	unknown
Inferred Status	None
Size	142626
Compressed Size	22085
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 83

Status	unknown
Inferred Status	None
Size	142675
Compressed Size	22097
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 84

Status	unknown
Inferred Status	None
Size	142672
Compressed Size	22090
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 85

Status	unknown
Inferred Status	None
Size	142733
Compressed Size	22105
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 86

Status	unknown
Inferred Status	None
Size	142753
Compressed Size	22096
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 87

Status	unknown
Inferred Status	None
Size	142750
Compressed Size	22098
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 88

Status	unknown
Inferred Status	None
Size	142856
Compressed Size	22109
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 89

Status	unknown
Inferred Status	None
Size	142819
Compressed Size	22111
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 90

Status	unknown
Inferred Status	None
Size	142816
Compressed Size	22104
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 91

Status	unknown
Inferred Status	None
Size	142865
Compressed Size	22116
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 92

Status	unknown
Inferred Status	None
Size	142885
Compressed Size	22114
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 93

Status	unknown
Inferred Status	None
Size	142882
Compressed Size	22109
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 94

Status	unknown
Inferred Status	None
Size	142988
Compressed Size	22120
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 95

Status	unknown
Inferred Status	None
Size	142964
Compressed Size	22114
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 96

Status	unknown
Inferred Status	None
Size	142974
Compressed Size	22111
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 97

Status	unknown
Inferred Status	None
Size	142997
Compressed Size	22125
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 98

Status	unknown
Inferred Status	None
Size	143017
Compressed Size	22127
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 99

Status	unknown
Inferred Status	None
Size	143014
Compressed Size	22121
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51

Query 100

Status	unknown
Inferred Status	None
Size	143034
Compressed Size	22120
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1427
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	6	Bool	42	not	91	or	1
and	119	=>	154	=	845	forall	127
exists	8	Int	201	div	4	+	39
-	36	*	5	<	7	<=	80
>	5	>=	51