Benchmark

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

Benchmark without description.

Benchmark
Size	184556
Compressed Size	25356
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	101

Query 1

Status	unknown
Inferred Status	None
Size	139228
Compressed Size	21516
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	21518
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	142542
Compressed Size	22089
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	52
Declared Datatypes	0

Symbols

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

Query 4

Status	unknown
Inferred Status	None
Size	142519
Compressed Size	22104
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	52
Declared Datatypes	0

Symbols

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

Query 5

Status	unknown
Inferred Status	None
Size	142511
Compressed Size	22091
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	52
Declared Datatypes	0

Symbols

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

Query 6

Status	unknown
Inferred Status	None
Size	142536
Compressed Size	22095
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	52
Declared Datatypes	0

Symbols

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

Query 7

Status	unknown
Inferred Status	None
Size	142567
Compressed Size	22099
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	52
Declared Datatypes	0

Symbols

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

Query 8

Status	unknown
Inferred Status	None
Size	139246
Compressed Size	21507
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	12
Declared Datatypes	0

Symbols

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

Query 9

Status	unknown
Inferred Status	None
Size	144041
Compressed Size	22324
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	68
Declared Datatypes	0

Symbols

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

Query 10

Status	unknown
Inferred Status	None
Size	144129
Compressed Size	22338
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	68
Declared Datatypes	0

Symbols

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

Query 11

Status	unknown
Inferred Status	None
Size	144133
Compressed Size	22348
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	68
Declared Datatypes	0

Symbols

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

Query 12

Status	unknown
Inferred Status	None
Size	144150
Compressed Size	22351
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	68
Declared Datatypes	0

Symbols

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

Query 13

Status	unknown
Inferred Status	None
Size	144217
Compressed Size	22361
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	68
Declared Datatypes	0

Symbols

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

Query 14

Status	unknown
Inferred Status	None
Size	144220
Compressed Size	22360
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	68
Declared Datatypes	0

Symbols

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

Query 15

Status	unknown
Inferred Status	None
Size	144266
Compressed Size	22363
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	68
Declared Datatypes	0

Symbols

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

Query 16

Status	unknown
Inferred Status	None
Size	144258
Compressed Size	22363
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	68
Declared Datatypes	0

Symbols

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

Query 17

Status	unknown
Inferred Status	None
Size	144301
Compressed Size	22371
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	68
Declared Datatypes	0

Symbols

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

Query 18

Status	unknown
Inferred Status	None
Size	144320
Compressed Size	22367
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	68
Declared Datatypes	0

Symbols

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

Query 19

Status	unknown
Inferred Status	None
Size	144359
Compressed Size	22382
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	68
Declared Datatypes	0

Symbols

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

Query 20

Status	unknown
Inferred Status	None
Size	144446
Compressed Size	22382
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	68
Declared Datatypes	0

Symbols

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

Query 21

Status	unknown
Inferred Status	None
Size	144468
Compressed Size	22401
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	68
Declared Datatypes	0

Symbols

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

Query 22

Status	unknown
Inferred Status	None
Size	144495
Compressed Size	22402
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	68
Declared Datatypes	0

Symbols

true	6	Bool	68	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	144518
Compressed Size	22411
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	68
Declared Datatypes	0

Symbols

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

Query 24

Status	unknown
Inferred Status	None
Size	144558
Compressed Size	22420
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	68
Declared Datatypes	0

Symbols

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

Query 25

Status	unknown
Inferred Status	None
Size	144580
Compressed Size	22422
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	68
Declared Datatypes	0

Symbols

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

Query 26

Status	unknown
Inferred Status	None
Size	144634
Compressed Size	22427
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	68
Declared Datatypes	0

Symbols

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

Query 27

Status	unknown
Inferred Status	None
Size	144651
Compressed Size	22434
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	68
Declared Datatypes	0

Symbols

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

Query 28

Status	unknown
Inferred Status	None
Size	144689
Compressed Size	22434
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	68
Declared Datatypes	0

Symbols

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

Query 29

Status	unknown
Inferred Status	None
Size	144776
Compressed Size	22442
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	68
Declared Datatypes	0

Symbols

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

Query 30

Status	unknown
Inferred Status	None
Size	144775
Compressed Size	22445
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	68
Declared Datatypes	0

Symbols

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

Query 31

Status	unknown
Inferred Status	None
Size	141941
Compressed Size	21941
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	46
Declared Datatypes	0

Symbols

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

Query 32

Status	unknown
Inferred Status	None
Size	141960
Compressed Size	21946
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	46
Declared Datatypes	0

Symbols

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

Query 33

Status	unknown
Inferred Status	None
Size	142062
Compressed Size	21968
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	46
Declared Datatypes	0

Symbols

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

Query 34

Status	unknown
Inferred Status	None
Size	142100
Compressed Size	21970
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	46
Declared Datatypes	0

Symbols

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

Query 35

Status	unknown
Inferred Status	None
Size	142134
Compressed Size	21984
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	46
Declared Datatypes	0

Symbols

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

Query 36

Status	unknown
Inferred Status	None
Size	142162
Compressed Size	21987
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	46
Declared Datatypes	0

Symbols

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

Query 37

Status	unknown
Inferred Status	None
Size	142181
Compressed Size	21986
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	46
Declared Datatypes	0

Symbols

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

Query 38

Status	unknown
Inferred Status	None
Size	140546
Compressed Size	21758
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 39

Status	unknown
Inferred Status	None
Size	140542
Compressed Size	21756
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 40

Status	unknown
Inferred Status	None
Size	140590
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 41

Status	unknown
Inferred Status	None
Size	140585
Compressed Size	21757
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 42

Status	unknown
Inferred Status	None
Size	140364
Compressed Size	21729
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 43

Status	unknown
Inferred Status	None
Size	140356
Compressed Size	21729
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 44

Status	unknown
Inferred Status	None
Size	140407
Compressed Size	21739
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 45

Status	unknown
Inferred Status	None
Size	140424
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 46

Status	unknown
Inferred Status	None
Size	142182
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 47

Status	unknown
Inferred Status	None
Size	142178
Compressed Size	22002
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 48

Status	unknown
Inferred Status	None
Size	142243
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 49

Status	unknown
Inferred Status	None
Size	142249
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 50

Status	unknown
Inferred Status	None
Size	142245
Compressed Size	22008
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 51

Status	unknown
Inferred Status	None
Size	142310
Compressed Size	22016
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 52

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 53

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 54

Status	unknown
Inferred Status	None
Size	142355
Compressed Size	22028
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 55

Status	unknown
Inferred Status	None
Size	142352
Compressed Size	22025
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 56

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 57

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 58

Status	unknown
Inferred Status	None
Size	142437
Compressed Size	22032
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 59

Status	unknown
Inferred Status	None
Size	142460
Compressed Size	22049
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 60

Status	unknown
Inferred Status	None
Size	142480
Compressed Size	22049
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 61

Status	unknown
Inferred Status	None
Size	142477
Compressed Size	22045
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 62

Status	unknown
Inferred Status	None
Size	142583
Compressed Size	22058
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 63

Status	unknown
Inferred Status	None
Size	142556
Compressed Size	22054
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 64

Status	unknown
Inferred Status	None
Size	142629
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 65

Status	unknown
Inferred Status	None
Size	142626
Compressed Size	22082
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 66

Status	unknown
Inferred Status	None
Size	142675
Compressed Size	22095
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 67

Status	unknown
Inferred Status	None
Size	142672
Compressed Size	22088
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 68

Status	unknown
Inferred Status	None
Size	142733
Compressed Size	22103
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 69

Status	unknown
Inferred Status	None
Size	142753
Compressed Size	22095
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	142750
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 71

Status	unknown
Inferred Status	None
Size	142856
Compressed Size	22108
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	142819
Compressed Size	22110
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	142816
Compressed Size	22103
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	142865
Compressed Size	22113
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	142885
Compressed Size	22112
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	142882
Compressed Size	22106
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	142988
Compressed Size	22118
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	142964
Compressed Size	22112
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	142974
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 80

Status	unknown
Inferred Status	None
Size	142997
Compressed Size	22123
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	143017
Compressed Size	22124
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	143014
Compressed Size	22118
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	143034
Compressed Size	22118
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	143100
Compressed Size	22128
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	143160
Compressed Size	22131
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	143120
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 87

Status	unknown
Inferred Status	None
Size	143143
Compressed Size	22135
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	143163
Compressed Size	22136
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	143183
Compressed Size	22135
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	143180
Compressed Size	22128
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	143200
Compressed Size	22132
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	143306
Compressed Size	22144
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	143279
Compressed Size	22138
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	143289
Compressed Size	22147
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	143286
Compressed Size	22138
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	143392
Compressed Size	22150
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	143355
Compressed Size	22150
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	143375
Compressed Size	22150
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	143372
Compressed Size	22147
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	143478
Compressed Size	22156
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