Benchmark

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

Benchmark without description.

Benchmark
Size	472760
Compressed Size	32862
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	453

Query 1

Status	unknown
Inferred Status	None
Size	151795
Compressed Size	23017
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 2

Status	unknown
Inferred Status	None
Size	151850
Compressed Size	23029
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	70	*	12	<	5	<=	87
>	3	>=	87

Query 3

Status	unknown
Inferred Status	None
Size	151843
Compressed Size	23031
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 4

Status	unknown
Inferred Status	None
Size	151871
Compressed Size	23027
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	70	*	12	<	5	<=	87
>	3	>=	87

Query 5

Status	unknown
Inferred Status	None
Size	151877
Compressed Size	23025
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 6

Status	unknown
Inferred Status	None
Size	151910
Compressed Size	23030
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	70	*	12	<	5	<=	87
>	3	>=	88

Query 7

Status	unknown
Inferred Status	None
Size	151892
Compressed Size	23029
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	88
>	3	>=	87

Query 8

Status	unknown
Inferred Status	None
Size	151968
Compressed Size	23034
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	115	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 9

Status	unknown
Inferred Status	None
Size	151950
Compressed Size	23034
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 10

Status	unknown
Inferred Status	None
Size	152013
Compressed Size	23041
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 11

Status	unknown
Inferred Status	None
Size	152078
Compressed Size	23059
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 12

Status	unknown
Inferred Status	None
Size	152048
Compressed Size	23055
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 13

Status	unknown
Inferred Status	None
Size	152140
Compressed Size	23060
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 14

Status	unknown
Inferred Status	None
Size	152172
Compressed Size	23069
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 15

Status	unknown
Inferred Status	None
Size	152107
Compressed Size	23059
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 16

Status	unknown
Inferred Status	None
Size	152087
Compressed Size	23061
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 17

Status	unknown
Inferred Status	None
Size	152128
Compressed Size	23057
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 18

Status	unknown
Inferred Status	None
Size	152334
Compressed Size	23091
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	54
-	70	*	12	<	5	<=	87
>	3	>=	87

Query 19

Status	unknown
Inferred Status	None
Size	152393
Compressed Size	23088
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	54
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 20

Status	unknown
Inferred Status	None
Size	152198
Compressed Size	23071
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 21

Status	unknown
Inferred Status	None
Size	152219
Compressed Size	23078
Max. Term Depth	34
Asserts	10
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	133
Declared Datatypes	0

Symbols

true	6	Bool	133	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 22

Status	unknown
Inferred Status	None
Size	151836
Compressed Size	23019
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 23

Status	unknown
Inferred Status	None
Size	151864
Compressed Size	23022
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	70	*	12	<	5	<=	87
>	3	>=	87

Query 24

Status	unknown
Inferred Status	None
Size	151857
Compressed Size	23025
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 25

Status	unknown
Inferred Status	None
Size	151885
Compressed Size	23020
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	70	*	12	<	5	<=	87
>	3	>=	87

Query 26

Status	unknown
Inferred Status	None
Size	151891
Compressed Size	23017
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 27

Status	unknown
Inferred Status	None
Size	151887
Compressed Size	23020
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	88
>	3	>=	87

Query 28

Status	unknown
Inferred Status	None
Size	151963
Compressed Size	23028
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	115	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 29

Status	unknown
Inferred Status	None
Size	151945
Compressed Size	23026
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 30

Status	unknown
Inferred Status	None
Size	152007
Compressed Size	23029
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 31

Status	unknown
Inferred Status	None
Size	152072
Compressed Size	23049
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 32

Status	unknown
Inferred Status	None
Size	152042
Compressed Size	23044
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 33

Status	unknown
Inferred Status	None
Size	152134
Compressed Size	23052
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 34

Status	unknown
Inferred Status	None
Size	152166
Compressed Size	23057
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 35

Status	unknown
Inferred Status	None
Size	152101
Compressed Size	23050
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 36

Status	unknown
Inferred Status	None
Size	152081
Compressed Size	23052
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 37

Status	unknown
Inferred Status	None
Size	152122
Compressed Size	23048
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	818	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 38

Status	unknown
Inferred Status	None
Size	152328
Compressed Size	23082
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	54
-	70	*	12	<	5	<=	87
>	3	>=	87

Query 39

Status	unknown
Inferred Status	None
Size	152387
Compressed Size	23077
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	54
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 40

Status	unknown
Inferred Status	None
Size	152192
Compressed Size	23061
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 41

Status	unknown
Inferred Status	None
Size	152213
Compressed Size	23071
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	132
Declared Datatypes	0

Symbols

true	6	Bool	132	not	114	or	1
and	153	=>	186	=	819	forall	171
exists	2	Int	236	div	1	+	53
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 42

Status	unknown
Inferred Status	None
Size	151487
Compressed Size	22942
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 43

Status	unknown
Inferred Status	None
Size	151483
Compressed Size	22951
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	808	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	87

Query 44

Status	unknown
Inferred Status	None
Size	151559
Compressed Size	22956
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	115	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 45

Status	unknown
Inferred Status	None
Size	151541
Compressed Size	22956
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	808	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 46

Status	unknown
Inferred Status	None
Size	151601
Compressed Size	22955
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	808	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 47

Status	unknown
Inferred Status	None
Size	151667
Compressed Size	22975
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 48

Status	unknown
Inferred Status	None
Size	151636
Compressed Size	22966
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	808	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 49

Status	unknown
Inferred Status	None
Size	151727
Compressed Size	22977
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	808	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 50

Status	unknown
Inferred Status	None
Size	151758
Compressed Size	22985
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 51

Status	unknown
Inferred Status	None
Size	151693
Compressed Size	22971
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	808	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 52

Status	unknown
Inferred Status	None
Size	151673
Compressed Size	22973
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 53

Status	unknown
Inferred Status	None
Size	151714
Compressed Size	22970
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	808	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 54

Status	unknown
Inferred Status	None
Size	151920
Compressed Size	23002
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	54
-	69	*	12	<	5	<=	87
>	3	>=	87

Query 55

Status	unknown
Inferred Status	None
Size	151979
Compressed Size	23001
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	54
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 56

Status	unknown
Inferred Status	None
Size	151782
Compressed Size	22982
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 57

Status	unknown
Inferred Status	None
Size	151802
Compressed Size	22984
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	127
Declared Datatypes	0

Symbols

true	6	Bool	127	not	114	or	1
and	153	=>	186	=	809	forall	171
exists	2	Int	236	div	1	+	53
-	68	*	12	<	5	<=	87
>	3	>=	87

Query 58

Status	unknown
Inferred Status	None
Size	138235
Compressed Size	21535
Max. Term Depth	34
Asserts	17
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	103	or	1
and	116	=>	149	=	784	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 59

Status	unknown
Inferred Status	None
Size	137739
Compressed Size	21474
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	102	or	1
and	117	=>	149	=	782	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 60

Status	unknown
Inferred Status	None
Size	149059
Compressed Size	22443
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	113	or	1
and	148	=>	184	=	808	forall	169
exists	2	Int	234	div	1	+	51
-	63	*	12	<	5	<=	82
>	3	>=	82

Query 61

Status	unknown
Inferred Status	None
Size	149075
Compressed Size	22450
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	113	or	1
and	148	=>	184	=	807	forall	169
exists	2	Int	234	div	1	+	51
-	63	*	12	<	5	<=	82
>	3	>=	82

Query 62

Status	unknown
Inferred Status	None
Size	149088
Compressed Size	22458
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	113	or	1
and	148	=>	184	=	808	forall	169
exists	2	Int	234	div	1	+	51
-	63	*	12	<	5	<=	82
>	3	>=	82

Query 63

Status	unknown
Inferred Status	None
Size	149131
Compressed Size	22455
Max. Term Depth	34
Asserts	13
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	113	or	1
and	148	=>	184	=	807	forall	169
exists	2	Int	234	div	1	+	51
-	63	*	12	<	5	<=	82
>	3	>=	82

Query 64

Status	unknown
Inferred Status	None
Size	137332
Compressed Size	21383
Max. Term Depth	34
Asserts	14
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	103	or	1
and	116	=>	150	=	781	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 65

Status	unknown
Inferred Status	None
Size	138221
Compressed Size	21549
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	102	or	1
and	118	=>	151	=	787	forall	137
exists	2	Int	193	div	1	+	43
-	54	*	8	<	5	<=	70
>	3	>=	66

Query 66

Status	unknown
Inferred Status	None
Size	138240
Compressed Size	21550
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	102	or	1
and	118	=>	151	=	787	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	70
>	3	>=	66

Query 67

Status	unknown
Inferred Status	None
Size	138236
Compressed Size	21546
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	102	or	1
and	118	=>	151	=	787	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	70
>	3	>=	66

Query 68

Status	unknown
Inferred Status	None
Size	138311
Compressed Size	21572
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	102	or	4
and	118	=>	151	=	794	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	67
>	3	>=	66

Query 69

Status	unknown
Inferred Status	None
Size	138366
Compressed Size	21576
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	102	or	4
and	118	=>	151	=	794	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	67
>	3	>=	66

Query 70

Status	unknown
Inferred Status	None
Size	138362
Compressed Size	21576
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	102	or	4
and	118	=>	151	=	794	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	67
>	3	>=	66

Query 71

Status	unknown
Inferred Status	None
Size	138273
Compressed Size	21562
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	102	or	4
and	118	=>	151	=	794	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	67
>	3	>=	65

Query 72

Status	unknown
Inferred Status	None
Size	138328
Compressed Size	21568
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	102	or	4
and	118	=>	151	=	794	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	67
>	3	>=	65

Query 73

Status	unknown
Inferred Status	None
Size	138324
Compressed Size	21568
Max. Term Depth	34
Asserts	15
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	102	or	4
and	118	=>	151	=	794	forall	137
exists	2	Int	193	div	1	+	43
-	53	*	8	<	5	<=	67
>	3	>=	65

Query 74

Status	unknown
Inferred Status	None
Size	137305
Compressed Size	21360
Max. Term Depth	34
Asserts	14
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	101	or	1
and	116	=>	149	=	780	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 75

Status	unknown
Inferred Status	None
Size	137327
Compressed Size	21368
Max. Term Depth	34
Asserts	14
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	101	or	1
and	116	=>	149	=	781	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 76

Status	unknown
Inferred Status	None
Size	137321
Compressed Size	21366
Max. Term Depth	34
Asserts	14
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	101	or	1
and	116	=>	149	=	780	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 77

Status	unknown
Inferred Status	None
Size	137343
Compressed Size	21372
Max. Term Depth	34
Asserts	14
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	101	or	1
and	116	=>	149	=	781	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 78

Status	unknown
Inferred Status	None
Size	137482
Compressed Size	21396
Max. Term Depth	34
Asserts	14
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	101	or	1
and	116	=>	149	=	780	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 79

Status	unknown
Inferred Status	None
Size	137173
Compressed Size	21337
Max. Term Depth	34
Asserts	17
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	101	or	1
and	115	=>	149	=	778	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 80

Status	unknown
Inferred Status	None
Size	137187
Compressed Size	21338
Max. Term Depth	34
Asserts	17
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	101	or	1
and	115	=>	149	=	778	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 81

Status	unknown
Inferred Status	None
Size	137189
Compressed Size	21340
Max. Term Depth	34
Asserts	17
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	101	or	1
and	115	=>	149	=	778	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 82

Status	unknown
Inferred Status	None
Size	137203
Compressed Size	21339
Max. Term Depth	34
Asserts	17
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	101	or	1
and	115	=>	149	=	778	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 83

Status	unknown
Inferred Status	None
Size	137418
Compressed Size	21381
Max. Term Depth	34
Asserts	21
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	101	or	1
and	116	=>	149	=	778	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 84

Status	unknown
Inferred Status	None
Size	137442
Compressed Size	21382
Max. Term Depth	34
Asserts	21
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	101	or	1
and	116	=>	149	=	778	forall	137
exists	2	Int	193	div	1	+	43
-	52	*	8	<	5	<=	67
>	3	>=	65

Query 85

Status	unknown
Inferred Status	None
Size	151667
Compressed Size	23031
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 86

Status	unknown
Inferred Status	None
Size	151708
Compressed Size	23040
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 87

Status	unknown
Inferred Status	None
Size	151713
Compressed Size	23036
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 88

Status	unknown
Inferred Status	None
Size	151754
Compressed Size	23046
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 89

Status	unknown
Inferred Status	None
Size	151768
Compressed Size	23051
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 90

Status	unknown
Inferred Status	None
Size	151812
Compressed Size	23053
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 91

Status	unknown
Inferred Status	None
Size	151797
Compressed Size	23054
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 92

Status	unknown
Inferred Status	None
Size	151870
Compressed Size	23061
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 93

Status	unknown
Inferred Status	None
Size	151878
Compressed Size	23059
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 94

Status	unknown
Inferred Status	None
Size	151876
Compressed Size	23061
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 95

Status	unknown
Inferred Status	None
Size	151920
Compressed Size	23069
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 96

Status	unknown
Inferred Status	None
Size	151923
Compressed Size	23064
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 97

Status	unknown
Inferred Status	None
Size	151962
Compressed Size	23068
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 98

Status	unknown
Inferred Status	None
Size	151989
Compressed Size	23075
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 99

Status	unknown
Inferred Status	None
Size	152010
Compressed Size	23076
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88

Query 100

Status	unknown
Inferred Status	None
Size	152031
Compressed Size	23081
Max. Term Depth	34
Asserts	23
Declared Functions	133
Declared Constants	1478
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	126
Declared Datatypes	0

Symbols

true	6	Bool	126	not	113	or	1
and	154	=>	185	=	805	forall	170
exists	2	Int	235	div	1	+	53
-	68	*	12	<	5	<=	88
>	3	>=	88