Benchmark

incremental/UFNIA/20190906-CLEARSY/0002/00093.smt2

Benchmark without description.

Benchmark
Size	414000
Compressed Size	41443
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	226

Query 1

Status	unknown
Inferred Status	None
Size	245519
Compressed Size	33425
Max. Term Depth	75
Asserts	5
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	139	or	6
and	187	=>	76	=	1027	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 2

Status	unknown
Inferred Status	None
Size	249919
Compressed Size	34307
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	65
Declared Datatypes	0

Symbols

true	7	Bool	65	not	145	or	6
and	190	=>	82	=	1050	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 3

Status	unknown
Inferred Status	None
Size	249317
Compressed Size	34209
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	65
Declared Datatypes	0

Symbols

true	7	Bool	65	not	145	or	6
and	190	=>	82	=	1049	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 4

Status	unknown
Inferred Status	None
Size	249356
Compressed Size	34200
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	65
Declared Datatypes	0

Symbols

true	7	Bool	65	not	145	or	6
and	190	=>	82	=	1049	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 5

Status	unknown
Inferred Status	None
Size	249443
Compressed Size	34231
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	65
Declared Datatypes	0

Symbols

true	7	Bool	65	not	145	or	6
and	190	=>	82	=	1049	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 6

Status	unknown
Inferred Status	None
Size	249470
Compressed Size	34234
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	65
Declared Datatypes	0

Symbols

true	7	Bool	65	not	145	or	6
and	190	=>	82	=	1049	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 7

Status	unknown
Inferred Status	None
Size	250157
Compressed Size	34357
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	65
Declared Datatypes	0

Symbols

true	7	Bool	65	not	145	or	6
and	190	=>	82	=	1050	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 8

Status	unknown
Inferred Status	None
Size	245628
Compressed Size	33693
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	7	Bool	35	not	139	or	6
and	188	=>	77	=	1028	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 9

Status	unknown
Inferred Status	None
Size	247574
Compressed Size	33823
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	7	Bool	35	not	139	or	7
and	189	=>	77	=	1038	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 10

Status	unknown
Inferred Status	None
Size	263754
Compressed Size	34435
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	7	Bool	42	not	175	or	7
and	215	=>	77	=	1120	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 11

Status	unknown
Inferred Status	None
Size	246606
Compressed Size	33886
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	7	Bool	44	not	141	or	6
and	188	=>	79	=	1034	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 12

Status	unknown
Inferred Status	None
Size	246649
Compressed Size	33906
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	7	Bool	44	not	141	or	6
and	188	=>	79	=	1034	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 13

Status	unknown
Inferred Status	None
Size	246688
Compressed Size	33904
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	7	Bool	44	not	141	or	6
and	188	=>	79	=	1034	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 14

Status	unknown
Inferred Status	None
Size	246766
Compressed Size	33908
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	7	Bool	44	not	141	or	6
and	188	=>	79	=	1034	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 15

Status	unknown
Inferred Status	None
Size	250330
Compressed Size	34231
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	44
Declared Datatypes	0

Symbols

true	7	Bool	44	not	148	or	6
and	194	=>	79	=	1052	forall	58
Int	124	div	1	+	6	-	47
*	9	<	1	<=	151	>	8
>=	108

Query 16

Status	unknown
Inferred Status	None
Size	254955
Compressed Size	34444
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 17

Status	unknown
Inferred Status	None
Size	254974
Compressed Size	34450
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 18

Status	unknown
Inferred Status	None
Size	254993
Compressed Size	34452
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 19

Status	unknown
Inferred Status	None
Size	254985
Compressed Size	34449
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 20

Status	unknown
Inferred Status	None
Size	255031
Compressed Size	34455
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 21

Status	unknown
Inferred Status	None
Size	255180
Compressed Size	34457
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 22

Status	unknown
Inferred Status	None
Size	255289
Compressed Size	34459
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 23

Status	unknown
Inferred Status	None
Size	255174
Compressed Size	34460
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 24

Status	unknown
Inferred Status	None
Size	255113
Compressed Size	34467
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 25

Status	unknown
Inferred Status	None
Size	255133
Compressed Size	34472
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 26

Status	unknown
Inferred Status	None
Size	255153
Compressed Size	34475
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 27

Status	unknown
Inferred Status	None
Size	255146
Compressed Size	34471
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 28

Status	unknown
Inferred Status	None
Size	255279
Compressed Size	34478
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 29

Status	unknown
Inferred Status	None
Size	255320
Compressed Size	34480
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 30

Status	unknown
Inferred Status	None
Size	255239
Compressed Size	34486
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 31

Status	unknown
Inferred Status	None
Size	255259
Compressed Size	34489
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 32

Status	unknown
Inferred Status	None
Size	255279
Compressed Size	34492
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 33

Status	unknown
Inferred Status	None
Size	255272
Compressed Size	34488
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 34

Status	unknown
Inferred Status	None
Size	255405
Compressed Size	34495
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 35

Status	unknown
Inferred Status	None
Size	255446
Compressed Size	34496
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 36

Status	unknown
Inferred Status	None
Size	255371
Compressed Size	34507
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 37

Status	unknown
Inferred Status	None
Size	255391
Compressed Size	34508
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 38

Status	unknown
Inferred Status	None
Size	255411
Compressed Size	34510
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 39

Status	unknown
Inferred Status	None
Size	255431
Compressed Size	34510
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 40

Status	unknown
Inferred Status	None
Size	255424
Compressed Size	34505
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 41

Status	unknown
Inferred Status	None
Size	255471
Compressed Size	34512
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 42

Status	unknown
Inferred Status	None
Size	255577
Compressed Size	34512
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 43

Status	unknown
Inferred Status	None
Size	255854
Compressed Size	34521
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 44

Status	unknown
Inferred Status	None
Size	255638
Compressed Size	34516
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 45

Status	unknown
Inferred Status	None
Size	255557
Compressed Size	34522
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 46

Status	unknown
Inferred Status	None
Size	255577
Compressed Size	34523
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 47

Status	unknown
Inferred Status	None
Size	255597
Compressed Size	34525
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 48

Status	unknown
Inferred Status	None
Size	255617
Compressed Size	34527
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 49

Status	unknown
Inferred Status	None
Size	255610
Compressed Size	34523
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 50

Status	unknown
Inferred Status	None
Size	255657
Compressed Size	34532
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 51

Status	unknown
Inferred Status	None
Size	256304
Compressed Size	34540
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 52

Status	unknown
Inferred Status	None
Size	255827
Compressed Size	34532
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 53

Status	unknown
Inferred Status	None
Size	255803
Compressed Size	34533
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 54

Status	unknown
Inferred Status	None
Size	256185
Compressed Size	34536
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 55

Status	unknown
Inferred Status	None
Size	255960
Compressed Size	34539
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 56

Status	unknown
Inferred Status	None
Size	255928
Compressed Size	34537
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 57

Status	unknown
Inferred Status	None
Size	255803
Compressed Size	34543
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 58

Status	unknown
Inferred Status	None
Size	255823
Compressed Size	34544
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 59

Status	unknown
Inferred Status	None
Size	255843
Compressed Size	34545
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 60

Status	unknown
Inferred Status	None
Size	255863
Compressed Size	34548
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 61

Status	unknown
Inferred Status	None
Size	255889
Compressed Size	34550
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 62

Status	unknown
Inferred Status	None
Size	255903
Compressed Size	34550
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 63

Status	unknown
Inferred Status	None
Size	255923
Compressed Size	34552
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 64

Status	unknown
Inferred Status	None
Size	255943
Compressed Size	34553
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 65

Status	unknown
Inferred Status	None
Size	255936
Compressed Size	34549
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 66

Status	unknown
Inferred Status	None
Size	255983
Compressed Size	34558
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 67

Status	unknown
Inferred Status	None
Size	256003
Compressed Size	34558
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 68

Status	unknown
Inferred Status	None
Size	255996
Compressed Size	34555
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 69

Status	unknown
Inferred Status	None
Size	256043
Compressed Size	34564
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 70

Status	unknown
Inferred Status	None
Size	259519
Compressed Size	34568
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	149	or	6
and	193	=>	77	=	1045	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 71

Status	unknown
Inferred Status	None
Size	256710
Compressed Size	34575
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 72

Status	unknown
Inferred Status	None
Size	256233
Compressed Size	34565
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 73

Status	unknown
Inferred Status	None
Size	256209
Compressed Size	34567
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 74

Status	unknown
Inferred Status	None
Size	257074
Compressed Size	34582
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 75

Status	unknown
Inferred Status	None
Size	256611
Compressed Size	34572
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 76

Status	unknown
Inferred Status	None
Size	256386
Compressed Size	34575
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 77

Status	unknown
Inferred Status	None
Size	256310
Compressed Size	34573
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 78

Status	unknown
Inferred Status	None
Size	256692
Compressed Size	34574
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 79

Status	unknown
Inferred Status	None
Size	256394
Compressed Size	34576
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 80

Status	unknown
Inferred Status	None
Size	256437
Compressed Size	34577
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 81

Status	unknown
Inferred Status	None
Size	264293
Compressed Size	34580
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	150	or	6
and	194	=>	77	=	1046	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 82

Status	unknown
Inferred Status	None
Size	256309
Compressed Size	34585
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 83

Status	unknown
Inferred Status	None
Size	256329
Compressed Size	34584
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 84

Status	unknown
Inferred Status	None
Size	256349
Compressed Size	34588
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 85

Status	unknown
Inferred Status	None
Size	256369
Compressed Size	34587
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 86

Status	unknown
Inferred Status	None
Size	256389
Compressed Size	34589
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 87

Status	unknown
Inferred Status	None
Size	256409
Compressed Size	34593
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 88

Status	unknown
Inferred Status	None
Size	256429
Compressed Size	34593
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 89

Status	unknown
Inferred Status	None
Size	256449
Compressed Size	34597
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 90

Status	unknown
Inferred Status	None
Size	256469
Compressed Size	34597
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 91

Status	unknown
Inferred Status	None
Size	256462
Compressed Size	34595
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 92

Status	unknown
Inferred Status	None
Size	256482
Compressed Size	34597
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 93

Status	unknown
Inferred Status	None
Size	256529
Compressed Size	34606
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 94

Status	unknown
Inferred Status	None
Size	256549
Compressed Size	34605
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 95

Status	unknown
Inferred Status	None
Size	256569
Compressed Size	34606
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 96

Status	unknown
Inferred Status	None
Size	257216
Compressed Size	34616
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 97

Status	unknown
Inferred Status	None
Size	257236
Compressed Size	34618
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 98

Status	unknown
Inferred Status	None
Size	256759
Compressed Size	34611
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 99

Status	unknown
Inferred Status	None
Size	256779
Compressed Size	34612
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108

Query 100

Status	unknown
Inferred Status	None
Size	256755
Compressed Size	34612
Max. Term Depth	75
Asserts	8
Declared Functions	120
Declared Constants	2093
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	7	Bool	55	not	147	or	6
and	191	=>	77	=	1040	forall	58
exists	1	Int	125	div	1	+	6
-	47	*	9	<	1	<=	151
>	8	>=	108