Benchmark

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

Benchmark without description.

Benchmark
Size	195608
Compressed Size	25105
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	122

Query 1

Status	unknown
Inferred Status	None
Size	134648
Compressed Size	20859
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1376
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	=>	142	=	837	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 2

Status	unknown
Inferred Status	None
Size	134695
Compressed Size	20867
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1376
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	=>	142	=	837	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 3

Status	unknown
Inferred Status	None
Size	134710
Compressed Size	20866
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1376
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	=>	142	=	837	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 4

Status	unknown
Inferred Status	None
Size	134617
Compressed Size	20846
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1376
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	=>	141	=	837	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 5

Status	unknown
Inferred Status	None
Size	134633
Compressed Size	20845
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1376
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	=>	141	=	837	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 6

Status	unknown
Inferred Status	None
Size	137983
Compressed Size	21421
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 7

Status	unknown
Inferred Status	None
Size	137999
Compressed Size	21430
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	41
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 8

Status	unknown
Inferred Status	None
Size	138060
Compressed Size	21445
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	41
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 9

Status	unknown
Inferred Status	None
Size	138160
Compressed Size	21469
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 10

Status	unknown
Inferred Status	None
Size	138176
Compressed Size	21476
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	41
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 11

Status	unknown
Inferred Status	None
Size	138210
Compressed Size	21484
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	41
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 12

Status	unknown
Inferred Status	None
Size	138234
Compressed Size	21480
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 13

Status	unknown
Inferred Status	None
Size	138287
Compressed Size	21496
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 14

Status	unknown
Inferred Status	None
Size	138306
Compressed Size	21497
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 15

Status	unknown
Inferred Status	None
Size	138385
Compressed Size	21511
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	115	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	71
>	5	>=	47

Query 16

Status	unknown
Inferred Status	None
Size	138405
Compressed Size	21513
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	115	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	71
>	5	>=	47

Query 17

Status	unknown
Inferred Status	None
Size	138375
Compressed Size	21504
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 18

Status	unknown
Inferred Status	None
Size	138414
Compressed Size	21510
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	853	forall	118
exists	8	Int	191	div	4	+	41
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 19

Status	unknown
Inferred Status	None
Size	138408
Compressed Size	21512
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 20

Status	unknown
Inferred Status	None
Size	138426
Compressed Size	21516
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 21

Status	unknown
Inferred Status	None
Size	138566
Compressed Size	21540
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	92	or	1
and	116	=>	144	=	855	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	71
>	5	>=	47

Query 22

Status	unknown
Inferred Status	None
Size	138477
Compressed Size	21517
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 23

Status	unknown
Inferred Status	None
Size	138497
Compressed Size	21522
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 24

Status	unknown
Inferred Status	None
Size	138572
Compressed Size	21532
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	42
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 25

Status	unknown
Inferred Status	None
Size	138532
Compressed Size	21532
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 26

Status	unknown
Inferred Status	None
Size	138597
Compressed Size	21532
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	40
-	34	*	5	<	3	<=	70
>	5	>=	46

Query 27

Status	unknown
Inferred Status	None
Size	138635
Compressed Size	21530
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	40
-	35	*	5	<	3	<=	70
>	5	>=	46

Query 28

Status	unknown
Inferred Status	None
Size	138693
Compressed Size	21550
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	91	or	1
and	114	=>	144	=	854	forall	118
exists	8	Int	191	div	4	+	42
-	35	*	5	<	3	<=	70
>	5	>=	46

Query 29

Status	unknown
Inferred Status	None
Size	140985
Compressed Size	21956
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 30

Status	unknown
Inferred Status	None
Size	141004
Compressed Size	21963
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 31

Status	unknown
Inferred Status	None
Size	141020
Compressed Size	21966
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 32

Status	unknown
Inferred Status	None
Size	141078
Compressed Size	21969
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 33

Status	unknown
Inferred Status	None
Size	141097
Compressed Size	21975
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 34

Status	unknown
Inferred Status	None
Size	141116
Compressed Size	21974
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 35

Status	unknown
Inferred Status	None
Size	141147
Compressed Size	21982
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 36

Status	unknown
Inferred Status	None
Size	141186
Compressed Size	21984
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 37

Status	unknown
Inferred Status	None
Size	141229
Compressed Size	21992
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	122	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	78
>	2	>=	51

Query 38

Status	unknown
Inferred Status	None
Size	141270
Compressed Size	22005
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 39

Status	unknown
Inferred Status	None
Size	141343
Compressed Size	22000
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 40

Status	unknown
Inferred Status	None
Size	141270
Compressed Size	21996
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	46
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 41

Status	unknown
Inferred Status	None
Size	141297
Compressed Size	21999
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 42

Status	unknown
Inferred Status	None
Size	141317
Compressed Size	21998
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 43

Status	unknown
Inferred Status	None
Size	141296
Compressed Size	22000
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	51

Query 44

Status	unknown
Inferred Status	None
Size	141397
Compressed Size	22007
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 45

Status	unknown
Inferred Status	None
Size	141431
Compressed Size	22028
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	78
>	2	>=	50

Query 46

Status	unknown
Inferred Status	None
Size	141449
Compressed Size	22025
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 47

Status	unknown
Inferred Status	None
Size	141466
Compressed Size	22033
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 48

Status	unknown
Inferred Status	None
Size	141516
Compressed Size	22042
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 49

Status	unknown
Inferred Status	None
Size	141602
Compressed Size	22061
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 50

Status	unknown
Inferred Status	None
Size	141637
Compressed Size	22068
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 51

Status	unknown
Inferred Status	None
Size	141686
Compressed Size	22069
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	94	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 52

Status	unknown
Inferred Status	None
Size	141698
Compressed Size	22069
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 53

Status	unknown
Inferred Status	None
Size	141777
Compressed Size	22080
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	122	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	78
>	2	>=	51

Query 54

Status	unknown
Inferred Status	None
Size	141747
Compressed Size	22075
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 55

Status	unknown
Inferred Status	None
Size	141786
Compressed Size	22074
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 56

Status	unknown
Inferred Status	None
Size	141806
Compressed Size	22081
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 57

Status	unknown
Inferred Status	None
Size	141931
Compressed Size	22094
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 58

Status	unknown
Inferred Status	None
Size	141835
Compressed Size	22082
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 59

Status	unknown
Inferred Status	None
Size	141879
Compressed Size	22092
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 60

Status	unknown
Inferred Status	None
Size	141905
Compressed Size	22092
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 61

Status	unknown
Inferred Status	None
Size	141925
Compressed Size	22089
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 62

Status	unknown
Inferred Status	None
Size	141957
Compressed Size	22102
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	47
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 63

Status	unknown
Inferred Status	None
Size	141924
Compressed Size	22091
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	41	*	5	<	3	<=	77
>	2	>=	51

Query 64

Status	unknown
Inferred Status	None
Size	141985
Compressed Size	22108
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	44
-	43	*	5	<	4	<=	77
>	2	>=	50

Query 65

Status	unknown
Inferred Status	None
Size	142044
Compressed Size	22113
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	874	forall	119
exists	9	Int	193	div	4	+	45
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 66

Status	unknown
Inferred Status	None
Size	142065
Compressed Size	22100
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	44
-	42	*	5	<	3	<=	77
>	2	>=	50

Query 67

Status	unknown
Inferred Status	None
Size	142044
Compressed Size	22104
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	84
Declared Datatypes	0

Symbols

true	6	Bool	84	not	93	or	1
and	121	=>	149	=	875	forall	119
exists	9	Int	193	div	4	+	46
-	41	*	5	<	3	<=	77
>	2	>=	50

Query 68

Status	unknown
Inferred Status	None
Size	135692
Compressed Size	21060
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	92	or	1
and	113	=>	142	=	846	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 69

Status	unknown
Inferred Status	None
Size	135714
Compressed Size	21075
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	92	or	1
and	113	=>	142	=	846	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 70

Status	unknown
Inferred Status	None
Size	135727
Compressed Size	21076
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	92	or	1
and	113	=>	142	=	846	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 71

Status	unknown
Inferred Status	None
Size	135780
Compressed Size	21093
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	92	or	1
and	113	=>	142	=	846	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 72

Status	unknown
Inferred Status	None
Size	135811
Compressed Size	21100
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	92	or	1
and	113	=>	142	=	847	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 73

Status	unknown
Inferred Status	None
Size	135074
Compressed Size	20941
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	89	or	1
and	112	=>	142	=	839	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 74

Status	unknown
Inferred Status	None
Size	135093
Compressed Size	20947
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	89	or	1
and	112	=>	142	=	839	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 75

Status	unknown
Inferred Status	None
Size	135113
Compressed Size	20944
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	89	or	1
and	112	=>	142	=	839	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 76

Status	unknown
Inferred Status	None
Size	135128
Compressed Size	20945
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	89	or	1
and	112	=>	142	=	839	forall	118
exists	8	Int	191	div	4	+	36
-	31	*	5	<	3	<=	67
>	2	>=	41

Query 77

Status	unknown
Inferred Status	None
Size	139802
Compressed Size	21684
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	94	or	1
and	120	=>	149	=	866	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 78

Status	unknown
Inferred Status	None
Size	139838
Compressed Size	21701
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 79

Status	unknown
Inferred Status	None
Size	139863
Compressed Size	21706
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 80

Status	unknown
Inferred Status	None
Size	139905
Compressed Size	21709
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 81

Status	unknown
Inferred Status	None
Size	139924
Compressed Size	21711
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 82

Status	unknown
Inferred Status	None
Size	139911
Compressed Size	21708
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 83

Status	unknown
Inferred Status	None
Size	139940
Compressed Size	21711
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 84

Status	unknown
Inferred Status	None
Size	139955
Compressed Size	21715
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	43
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 85

Status	unknown
Inferred Status	None
Size	139989
Compressed Size	21719
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 86

Status	unknown
Inferred Status	None
Size	140015
Compressed Size	21723
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 87

Status	unknown
Inferred Status	None
Size	140035
Compressed Size	21726
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 88

Status	unknown
Inferred Status	None
Size	140055
Compressed Size	21729
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 89

Status	unknown
Inferred Status	None
Size	140098
Compressed Size	21732
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 90

Status	unknown
Inferred Status	None
Size	140071
Compressed Size	21733
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 91

Status	unknown
Inferred Status	None
Size	140122
Compressed Size	21735
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	47	*	5	<	3	<=	77
>	2	>=	49

Query 92

Status	unknown
Inferred Status	None
Size	140164
Compressed Size	21743
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 93

Status	unknown
Inferred Status	None
Size	140152
Compressed Size	21740
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 94

Status	unknown
Inferred Status	None
Size	140171
Compressed Size	21742
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 95

Status	unknown
Inferred Status	None
Size	140212
Compressed Size	21749
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 96

Status	unknown
Inferred Status	None
Size	140232
Compressed Size	21751
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 97

Status	unknown
Inferred Status	None
Size	140251
Compressed Size	21748
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 98

Status	unknown
Inferred Status	None
Size	140278
Compressed Size	21754
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 99

Status	unknown
Inferred Status	None
Size	140287
Compressed Size	21754
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49

Query 100

Status	unknown
Inferred Status	None
Size	140330
Compressed Size	21757
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1376
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	93	or	1
and	120	=>	149	=	865	forall	119
exists	9	Int	193	div	4	+	42
-	46	*	5	<	3	<=	77
>	2	>=	49