Benchmark

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

Benchmark without description.

Benchmark
Size	367956
Compressed Size	28956
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	513

Query 1

Status	unknown
Inferred Status	None
Size	139061
Compressed Size	20116
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 2

Status	unknown
Inferred Status	None
Size	139133
Compressed Size	20136
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 3

Status	unknown
Inferred Status	None
Size	139132
Compressed Size	20134
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 4

Status	unknown
Inferred Status	None
Size	139177
Compressed Size	20143
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 5

Status	unknown
Inferred Status	None
Size	139176
Compressed Size	20136
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 6

Status	unknown
Inferred Status	None
Size	139221
Compressed Size	20146
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 7

Status	unknown
Inferred Status	None
Size	139220
Compressed Size	20139
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 8

Status	unknown
Inferred Status	None
Size	139265
Compressed Size	20152
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 9

Status	unknown
Inferred Status	None
Size	139264
Compressed Size	20144
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 10

Status	unknown
Inferred Status	None
Size	139310
Compressed Size	20162
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 11

Status	unknown
Inferred Status	None
Size	139308
Compressed Size	20154
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 12

Status	unknown
Inferred Status	None
Size	139330
Compressed Size	20153
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 13

Status	unknown
Inferred Status	None
Size	139376
Compressed Size	20170
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 14

Status	unknown
Inferred Status	None
Size	139393
Compressed Size	20170
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 15

Status	unknown
Inferred Status	None
Size	139396
Compressed Size	20163
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 16

Status	unknown
Inferred Status	None
Size	139442
Compressed Size	20179
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 17

Status	unknown
Inferred Status	None
Size	139442
Compressed Size	20176
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 18

Status	unknown
Inferred Status	None
Size	139488
Compressed Size	20186
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 19

Status	unknown
Inferred Status	None
Size	139488
Compressed Size	20178
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 20

Status	unknown
Inferred Status	None
Size	139534
Compressed Size	20191
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 21

Status	unknown
Inferred Status	None
Size	139534
Compressed Size	20183
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 22

Status	unknown
Inferred Status	None
Size	139580
Compressed Size	20193
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 23

Status	unknown
Inferred Status	None
Size	139580
Compressed Size	20185
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 24

Status	unknown
Inferred Status	None
Size	139626
Compressed Size	20200
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 25

Status	unknown
Inferred Status	None
Size	139631
Compressed Size	20191
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 26

Status	unknown
Inferred Status	None
Size	139678
Compressed Size	20205
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 27

Status	unknown
Inferred Status	None
Size	139677
Compressed Size	20195
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 28

Status	unknown
Inferred Status	None
Size	139697
Compressed Size	20196
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 29

Status	unknown
Inferred Status	None
Size	139744
Compressed Size	20208
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 30

Status	unknown
Inferred Status	None
Size	139764
Compressed Size	20212
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 31

Status	unknown
Inferred Status	None
Size	139763
Compressed Size	20205
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 32

Status	unknown
Inferred Status	None
Size	139783
Compressed Size	20205
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 33

Status	unknown
Inferred Status	None
Size	139803
Compressed Size	20204
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 34

Status	unknown
Inferred Status	None
Size	139850
Compressed Size	20220
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 35

Status	unknown
Inferred Status	None
Size	139870
Compressed Size	20217
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 36

Status	unknown
Inferred Status	None
Size	139890
Compressed Size	20220
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 37

Status	unknown
Inferred Status	None
Size	139889
Compressed Size	20214
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 38

Status	unknown
Inferred Status	None
Size	139909
Compressed Size	20216
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 39

Status	unknown
Inferred Status	None
Size	139929
Compressed Size	20216
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 40

Status	unknown
Inferred Status	None
Size	139949
Compressed Size	20216
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 41

Status	unknown
Inferred Status	None
Size	139996
Compressed Size	20229
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 42

Status	unknown
Inferred Status	None
Size	140016
Compressed Size	20233
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 43

Status	unknown
Inferred Status	None
Size	140036
Compressed Size	20231
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 44

Status	unknown
Inferred Status	None
Size	140056
Compressed Size	20233
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 45

Status	unknown
Inferred Status	None
Size	140076
Compressed Size	20232
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 46

Status	unknown
Inferred Status	None
Size	140069
Compressed Size	20222
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 47

Status	unknown
Inferred Status	None
Size	140107
Compressed Size	20230
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	100	or	3
and	134	=>	192	=	869	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 48

Status	unknown
Inferred Status	None
Size	140116
Compressed Size	20235
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 49

Status	unknown
Inferred Status	None
Size	140135
Compressed Size	20233
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 50

Status	unknown
Inferred Status	None
Size	140155
Compressed Size	20233
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 51

Status	unknown
Inferred Status	None
Size	140175
Compressed Size	20234
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 52

Status	unknown
Inferred Status	None
Size	140195
Compressed Size	20232
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 53

Status	unknown
Inferred Status	None
Size	140243
Compressed Size	20249
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 54

Status	unknown
Inferred Status	None
Size	140262
Compressed Size	20248
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 55

Status	unknown
Inferred Status	None
Size	140282
Compressed Size	20250
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 56

Status	unknown
Inferred Status	None
Size	140302
Compressed Size	20247
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 57

Status	unknown
Inferred Status	None
Size	140322
Compressed Size	20250
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 58

Status	unknown
Inferred Status	None
Size	140342
Compressed Size	20252
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 59

Status	unknown
Inferred Status	None
Size	140362
Compressed Size	20251
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 60

Status	unknown
Inferred Status	None
Size	140355
Compressed Size	20241
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 61

Status	unknown
Inferred Status	None
Size	140402
Compressed Size	20243
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 62

Status	unknown
Inferred Status	None
Size	140440
Compressed Size	20252
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 63

Status	unknown
Inferred Status	None
Size	140433
Compressed Size	20253
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	100	or	3
and	134	=>	192	=	869	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 64

Status	unknown
Inferred Status	None
Size	140443
Compressed Size	20255
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 65

Status	unknown
Inferred Status	None
Size	140463
Compressed Size	20255
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 66

Status	unknown
Inferred Status	None
Size	140481
Compressed Size	20254
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 67

Status	unknown
Inferred Status	None
Size	140501
Compressed Size	20254
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 68

Status	unknown
Inferred Status	None
Size	140521
Compressed Size	20255
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 69

Status	unknown
Inferred Status	None
Size	140541
Compressed Size	20253
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 70

Status	unknown
Inferred Status	None
Size	140561
Compressed Size	20254
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 71

Status	unknown
Inferred Status	None
Size	140610
Compressed Size	20275
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 72

Status	unknown
Inferred Status	None
Size	140630
Compressed Size	20272
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 73

Status	unknown
Inferred Status	None
Size	140648
Compressed Size	20271
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 74

Status	unknown
Inferred Status	None
Size	140668
Compressed Size	20275
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 75

Status	unknown
Inferred Status	None
Size	140688
Compressed Size	20272
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 76

Status	unknown
Inferred Status	None
Size	140708
Compressed Size	20273
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 77

Status	unknown
Inferred Status	None
Size	140728
Compressed Size	20274
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 78

Status	unknown
Inferred Status	None
Size	140748
Compressed Size	20276
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 79

Status	unknown
Inferred Status	None
Size	140768
Compressed Size	20278
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 80

Status	unknown
Inferred Status	None
Size	140761
Compressed Size	20267
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 81

Status	unknown
Inferred Status	None
Size	140810
Compressed Size	20269
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 82

Status	unknown
Inferred Status	None
Size	140915
Compressed Size	20279
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 83

Status	unknown
Inferred Status	None
Size	140848
Compressed Size	20279
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 84

Status	unknown
Inferred Status	None
Size	140886
Compressed Size	20288
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 85

Status	unknown
Inferred Status	None
Size	141006
Compressed Size	20302
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	100	or	3
and	134	=>	192	=	869	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 86

Status	unknown
Inferred Status	None
Size	140899
Compressed Size	20274
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	100	or	3
and	134	=>	192	=	869	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 87

Status	unknown
Inferred Status	None
Size	140919
Compressed Size	20278
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	100	or	3
and	134	=>	192	=	869	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 88

Status	unknown
Inferred Status	None
Size	140930
Compressed Size	20286
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 89

Status	unknown
Inferred Status	None
Size	140950
Compressed Size	20288
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 90

Status	unknown
Inferred Status	None
Size	140967
Compressed Size	20284
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 91

Status	unknown
Inferred Status	None
Size	140987
Compressed Size	20282
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 92

Status	unknown
Inferred Status	None
Size	141007
Compressed Size	20282
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 93

Status	unknown
Inferred Status	None
Size	141027
Compressed Size	20284
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 94

Status	unknown
Inferred Status	None
Size	141047
Compressed Size	20281
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 95

Status	unknown
Inferred Status	None
Size	141067
Compressed Size	20284
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 96

Status	unknown
Inferred Status	None
Size	141117
Compressed Size	20306
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 97

Status	unknown
Inferred Status	None
Size	141137
Compressed Size	20303
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 98

Status	unknown
Inferred Status	None
Size	141154
Compressed Size	20300
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 99

Status	unknown
Inferred Status	None
Size	141174
Compressed Size	20303
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41

Query 100

Status	unknown
Inferred Status	None
Size	141195
Compressed Size	20306
Max. Term Depth	34
Asserts	6
Declared Functions	144
Declared Constants	1042
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	188
Declared Datatypes	0

Symbols

true	6	Bool	188	not	99	or	3
and	134	=>	192	=	868	forall	183
exists	17	Int	229	div	9	+	86
-	46	*	8	<	5	<=	83
>	3	>=	41