Benchmark

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

Benchmark without description.

Benchmark
Size	186396
Compressed Size	24525
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	102

Query 1

Status	unknown
Inferred Status	None
Size	134612
Compressed Size	20851
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1375
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	134659
Compressed Size	20860
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1375
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	134674
Compressed Size	20859
Max. Term Depth	34
Asserts	10
Declared Functions	131
Declared Constants	1375
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	134581
Compressed Size	20837
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1375
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	134597
Compressed Size	20836
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1375
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	137752
Compressed Size	21371
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 7

Status	unknown
Inferred Status	None
Size	137783
Compressed Size	21384
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 8

Status	unknown
Inferred Status	None
Size	137801
Compressed Size	21385
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 9

Status	unknown
Inferred Status	None
Size	137854
Compressed Size	21399
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 10

Status	unknown
Inferred Status	None
Size	137932
Compressed Size	21411
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 11

Status	unknown
Inferred Status	None
Size	137951
Compressed Size	21410
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 12

Status	unknown
Inferred Status	None
Size	137939
Compressed Size	21403
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 13

Status	unknown
Inferred Status	None
Size	137932
Compressed Size	21411
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 14

Status	unknown
Inferred Status	None
Size	137949
Compressed Size	21415
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 15

Status	unknown
Inferred Status	None
Size	138089
Compressed Size	21440
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 16

Status	unknown
Inferred Status	None
Size	138000
Compressed Size	21419
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 17

Status	unknown
Inferred Status	None
Size	138020
Compressed Size	21424
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 18

Status	unknown
Inferred Status	None
Size	138095
Compressed Size	21436
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 19

Status	unknown
Inferred Status	None
Size	138055
Compressed Size	21434
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 20

Status	unknown
Inferred Status	None
Size	138120
Compressed Size	21436
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 21

Status	unknown
Inferred Status	None
Size	138152
Compressed Size	21433
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 22

Status	unknown
Inferred Status	None
Size	138210
Compressed Size	21455
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

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

Query 23

Status	unknown
Inferred Status	None
Size	140526
Compressed Size	21868
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 24

Status	unknown
Inferred Status	None
Size	140565
Compressed Size	21874
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 25

Status	unknown
Inferred Status	None
Size	140608
Compressed Size	21884
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 26

Status	unknown
Inferred Status	None
Size	140648
Compressed Size	21893
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 27

Status	unknown
Inferred Status	None
Size	140720
Compressed Size	21886
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 28

Status	unknown
Inferred Status	None
Size	140646
Compressed Size	21879
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 29

Status	unknown
Inferred Status	None
Size	140672
Compressed Size	21881
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 30

Status	unknown
Inferred Status	None
Size	140691
Compressed Size	21881
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 31

Status	unknown
Inferred Status	None
Size	140669
Compressed Size	21881
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 32

Status	unknown
Inferred Status	None
Size	140770
Compressed Size	21893
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 33

Status	unknown
Inferred Status	None
Size	140792
Compressed Size	21913
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 34

Status	unknown
Inferred Status	None
Size	140900
Compressed Size	21935
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 35

Status	unknown
Inferred Status	None
Size	140943
Compressed Size	21940
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 36

Status	unknown
Inferred Status	None
Size	140955
Compressed Size	21943
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 37

Status	unknown
Inferred Status	None
Size	141034
Compressed Size	21953
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 38

Status	unknown
Inferred Status	None
Size	141023
Compressed Size	21952
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 39

Status	unknown
Inferred Status	None
Size	141043
Compressed Size	21960
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 40

Status	unknown
Inferred Status	None
Size	141168
Compressed Size	21971
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 41

Status	unknown
Inferred Status	None
Size	141072
Compressed Size	21958
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 42

Status	unknown
Inferred Status	None
Size	141116
Compressed Size	21968
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 43

Status	unknown
Inferred Status	None
Size	141142
Compressed Size	21963
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 44

Status	unknown
Inferred Status	None
Size	141162
Compressed Size	21964
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 45

Status	unknown
Inferred Status	None
Size	141194
Compressed Size	21980
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 46

Status	unknown
Inferred Status	None
Size	141161
Compressed Size	21968
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 47

Status	unknown
Inferred Status	None
Size	141222
Compressed Size	21984
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 48

Status	unknown
Inferred Status	None
Size	141281
Compressed Size	21991
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 49

Status	unknown
Inferred Status	None
Size	141302
Compressed Size	21979
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 50

Status	unknown
Inferred Status	None
Size	141281
Compressed Size	21981
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	77
Declared Datatypes	0

Symbols

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

Query 51

Status	unknown
Inferred Status	None
Size	135411
Compressed Size	21012
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

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

Query 52

Status	unknown
Inferred Status	None
Size	135424
Compressed Size	21017
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

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

Query 53

Status	unknown
Inferred Status	None
Size	135477
Compressed Size	21035
Max. Term Depth	34
Asserts	14
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

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

Query 54

Status	unknown
Inferred Status	None
Size	134641
Compressed Size	20844
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1375
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 55

Status	unknown
Inferred Status	None
Size	134661
Compressed Size	20846
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1375
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 56

Status	unknown
Inferred Status	None
Size	134676
Compressed Size	20844
Max. Term Depth	34
Asserts	13
Declared Functions	131
Declared Constants	1375
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 57

Status	unknown
Inferred Status	None
Size	139636
Compressed Size	21674
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 58

Status	unknown
Inferred Status	None
Size	139672
Compressed Size	21687
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 59

Status	unknown
Inferred Status	None
Size	139697
Compressed Size	21690
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 60

Status	unknown
Inferred Status	None
Size	139739
Compressed Size	21693
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 61

Status	unknown
Inferred Status	None
Size	139758
Compressed Size	21695
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 62

Status	unknown
Inferred Status	None
Size	139745
Compressed Size	21692
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 63

Status	unknown
Inferred Status	None
Size	139774
Compressed Size	21695
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 64

Status	unknown
Inferred Status	None
Size	139789
Compressed Size	21698
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 65

Status	unknown
Inferred Status	None
Size	139823
Compressed Size	21704
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 66

Status	unknown
Inferred Status	None
Size	139849
Compressed Size	21707
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 67

Status	unknown
Inferred Status	None
Size	139869
Compressed Size	21712
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 68

Status	unknown
Inferred Status	None
Size	139889
Compressed Size	21715
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 69

Status	unknown
Inferred Status	None
Size	139932
Compressed Size	21719
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 70

Status	unknown
Inferred Status	None
Size	139905
Compressed Size	21719
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 71

Status	unknown
Inferred Status	None
Size	139956
Compressed Size	21719
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 72

Status	unknown
Inferred Status	None
Size	139998
Compressed Size	21729
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 73

Status	unknown
Inferred Status	None
Size	139986
Compressed Size	21728
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 74

Status	unknown
Inferred Status	None
Size	140005
Compressed Size	21729
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 75

Status	unknown
Inferred Status	None
Size	140046
Compressed Size	21736
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 76

Status	unknown
Inferred Status	None
Size	140066
Compressed Size	21737
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 77

Status	unknown
Inferred Status	None
Size	140085
Compressed Size	21733
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 78

Status	unknown
Inferred Status	None
Size	140112
Compressed Size	21742
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140121
Compressed Size	21740
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140164
Compressed Size	21745
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140151
Compressed Size	21741
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140192
Compressed Size	21748
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140206
Compressed Size	21745
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140228
Compressed Size	21745
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 85

Status	unknown
Inferred Status	None
Size	140247
Compressed Size	21750
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140290
Compressed Size	21755
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140294
Compressed Size	21751
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 88

Status	unknown
Inferred Status	None
Size	140324
Compressed Size	21761
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140333
Compressed Size	21759
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140376
Compressed Size	21762
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140384
Compressed Size	21762
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 92

Status	unknown
Inferred Status	None
Size	140486
Compressed Size	21768
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 93

Status	unknown
Inferred Status	None
Size	140439
Compressed Size	21763
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 94

Status	unknown
Inferred Status	None
Size	140440
Compressed Size	21761
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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

Query 95

Status	unknown
Inferred Status	None
Size	140459
Compressed Size	21768
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140455
Compressed Size	21766
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140528
Compressed Size	21774
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140516
Compressed Size	21769
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140535
Compressed Size	21770
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	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	140576
Compressed Size	21778
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1375
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

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