Benchmark

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

Benchmark without description.

Benchmark
Size	246213
Compressed Size	34198
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	121

Query 1

Status	unknown
Inferred Status	None
Size	197022
Compressed Size	29434
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 2

Status	unknown
Inferred Status	None
Size	197095
Compressed Size	29446
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	33
*	9	<	1	<=	149	>	8
>=	107

Query 3

Status	unknown
Inferred Status	None
Size	197094
Compressed Size	29442
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 4

Status	unknown
Inferred Status	None
Size	197114
Compressed Size	29449
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 5

Status	unknown
Inferred Status	None
Size	197134
Compressed Size	29446
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 6

Status	unknown
Inferred Status	None
Size	197156
Compressed Size	29452
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 7

Status	unknown
Inferred Status	None
Size	197177
Compressed Size	29449
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 8

Status	unknown
Inferred Status	None
Size	197196
Compressed Size	29455
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 9

Status	unknown
Inferred Status	None
Size	197215
Compressed Size	29459
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 10

Status	unknown
Inferred Status	None
Size	197229
Compressed Size	29462
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 11

Status	unknown
Inferred Status	None
Size	197250
Compressed Size	29464
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 12

Status	unknown
Inferred Status	None
Size	197270
Compressed Size	29467
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 13

Status	unknown
Inferred Status	None
Size	197318
Compressed Size	29477
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 14

Status	unknown
Inferred Status	None
Size	197358
Compressed Size	29485
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 15

Status	unknown
Inferred Status	None
Size	197383
Compressed Size	29490
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 16

Status	unknown
Inferred Status	None
Size	197400
Compressed Size	29492
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 17

Status	unknown
Inferred Status	None
Size	197432
Compressed Size	29496
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 18

Status	unknown
Inferred Status	None
Size	197480
Compressed Size	29501
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	33
*	9	<	1	<=	148	>	8
>=	106

Query 19

Status	unknown
Inferred Status	None
Size	197487
Compressed Size	29504
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 20

Status	unknown
Inferred Status	None
Size	197503
Compressed Size	29508
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 21

Status	unknown
Inferred Status	None
Size	197493
Compressed Size	29502
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 22

Status	unknown
Inferred Status	None
Size	197541
Compressed Size	29510
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 23

Status	unknown
Inferred Status	None
Size	197531
Compressed Size	29506
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 24

Status	unknown
Inferred Status	None
Size	197551
Compressed Size	29507
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 25

Status	unknown
Inferred Status	None
Size	197532
Compressed Size	29499
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	10	<	1	<=	148	>	8
>=	106

Query 26

Status	unknown
Inferred Status	None
Size	197577
Compressed Size	29507
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	11	<	1	<=	149	>	8
>=	107

Query 27

Status	unknown
Inferred Status	None
Size	197627
Compressed Size	29507
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	2	+	4	-	32
*	9	<	1	<=	149	>	8
>=	106

Query 28

Status	unknown
Inferred Status	None
Size	197609
Compressed Size	29506
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	124	or	1
and	164	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 29

Status	unknown
Inferred Status	None
Size	196991
Compressed Size	29434
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 30

Status	unknown
Inferred Status	None
Size	197037
Compressed Size	29444
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	33
*	9	<	1	<=	149	>	8
>=	107

Query 31

Status	unknown
Inferred Status	None
Size	197036
Compressed Size	29443
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 32

Status	unknown
Inferred Status	None
Size	197056
Compressed Size	29448
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 33

Status	unknown
Inferred Status	None
Size	197076
Compressed Size	29448
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 34

Status	unknown
Inferred Status	None
Size	197098
Compressed Size	29451
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 35

Status	unknown
Inferred Status	None
Size	197119
Compressed Size	29451
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 36

Status	unknown
Inferred Status	None
Size	197138
Compressed Size	29454
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 37

Status	unknown
Inferred Status	None
Size	197157
Compressed Size	29457
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 38

Status	unknown
Inferred Status	None
Size	197171
Compressed Size	29461
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 39

Status	unknown
Inferred Status	None
Size	197192
Compressed Size	29461
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 40

Status	unknown
Inferred Status	None
Size	197212
Compressed Size	29463
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 41

Status	unknown
Inferred Status	None
Size	197260
Compressed Size	29473
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 42

Status	unknown
Inferred Status	None
Size	197300
Compressed Size	29479
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 43

Status	unknown
Inferred Status	None
Size	197325
Compressed Size	29484
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 44

Status	unknown
Inferred Status	None
Size	197342
Compressed Size	29481
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 45

Status	unknown
Inferred Status	None
Size	197374
Compressed Size	29487
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 46

Status	unknown
Inferred Status	None
Size	197422
Compressed Size	29499
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	33
*	9	<	1	<=	148	>	8
>=	106

Query 47

Status	unknown
Inferred Status	None
Size	197429
Compressed Size	29493
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 48

Status	unknown
Inferred Status	None
Size	197445
Compressed Size	29497
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 49

Status	unknown
Inferred Status	None
Size	197435
Compressed Size	29494
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 50

Status	unknown
Inferred Status	None
Size	197483
Compressed Size	29505
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 51

Status	unknown
Inferred Status	None
Size	197473
Compressed Size	29497
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 52

Status	unknown
Inferred Status	None
Size	197493
Compressed Size	29499
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 53

Status	unknown
Inferred Status	None
Size	197474
Compressed Size	29494
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	10	<	1	<=	148	>	8
>=	106

Query 54

Status	unknown
Inferred Status	None
Size	197519
Compressed Size	29504
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	11	<	1	<=	149	>	8
>=	107

Query 55

Status	unknown
Inferred Status	None
Size	197569
Compressed Size	29511
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	2	+	4	-	32
*	9	<	1	<=	149	>	8
>=	106

Query 56

Status	unknown
Inferred Status	None
Size	197550
Compressed Size	29513
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 57

Status	unknown
Inferred Status	None
Size	197006
Compressed Size	29435
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 58

Status	unknown
Inferred Status	None
Size	197052
Compressed Size	29445
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	33
*	9	<	1	<=	149	>	8
>=	107

Query 59

Status	unknown
Inferred Status	None
Size	197051
Compressed Size	29445
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 60

Status	unknown
Inferred Status	None
Size	197071
Compressed Size	29449
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 61

Status	unknown
Inferred Status	None
Size	197091
Compressed Size	29450
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 62

Status	unknown
Inferred Status	None
Size	197113
Compressed Size	29452
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 63

Status	unknown
Inferred Status	None
Size	197134
Compressed Size	29452
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 64

Status	unknown
Inferred Status	None
Size	197153
Compressed Size	29456
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 65

Status	unknown
Inferred Status	None
Size	197172
Compressed Size	29460
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 66

Status	unknown
Inferred Status	None
Size	197186
Compressed Size	29463
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	149	>	8
>=	107

Query 67

Status	unknown
Inferred Status	None
Size	197207
Compressed Size	29463
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 68

Status	unknown
Inferred Status	None
Size	197227
Compressed Size	29465
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 69

Status	unknown
Inferred Status	None
Size	197275
Compressed Size	29474
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 70

Status	unknown
Inferred Status	None
Size	197315
Compressed Size	29480
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 71

Status	unknown
Inferred Status	None
Size	197340
Compressed Size	29485
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 72

Status	unknown
Inferred Status	None
Size	197357
Compressed Size	29481
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 73

Status	unknown
Inferred Status	None
Size	197389
Compressed Size	29489
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 74

Status	unknown
Inferred Status	None
Size	197437
Compressed Size	29501
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	33
*	9	<	1	<=	148	>	8
>=	106

Query 75

Status	unknown
Inferred Status	None
Size	197444
Compressed Size	29495
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 76

Status	unknown
Inferred Status	None
Size	197460
Compressed Size	29498
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 77

Status	unknown
Inferred Status	None
Size	197450
Compressed Size	29496
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 78

Status	unknown
Inferred Status	None
Size	197498
Compressed Size	29506
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 79

Status	unknown
Inferred Status	None
Size	197488
Compressed Size	29499
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 80

Status	unknown
Inferred Status	None
Size	197508
Compressed Size	29500
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 81

Status	unknown
Inferred Status	None
Size	197489
Compressed Size	29498
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	10	<	1	<=	148	>	8
>=	106

Query 82

Status	unknown
Inferred Status	None
Size	197534
Compressed Size	29508
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	164	=>	41	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	11	<	1	<=	149	>	8
>=	107

Query 83

Status	unknown
Inferred Status	None
Size	197584
Compressed Size	29513
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	41	=	1135	forall	34
Int	54	div	2	+	4	-	32
*	9	<	1	<=	149	>	8
>=	106

Query 84

Status	unknown
Inferred Status	None
Size	197565
Compressed Size	29516
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	5	Bool	11	not	124	or	1
and	163	=>	42	=	1135	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 85

Status	unknown
Inferred Status	None
Size	198867
Compressed Size	29588
Max. Term Depth	75
Asserts	6
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	5	Bool	27	not	124	or	1
and	164	=>	42	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 86

Status	unknown
Inferred Status	None
Size	198860
Compressed Size	29587
Max. Term Depth	75
Asserts	6
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	5	Bool	27	not	124	or	1
and	164	=>	42	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	148	>	8
>=	106

Query 87

Status	unknown
Inferred Status	None
Size	213947
Compressed Size	31713
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	243
Declared Datatypes	0

Symbols

true	5	Bool	243	not	124	or	1
and	233	=>	43	=	1135	forall	34
Int	54	div	1	+	4	-	54
*	17	<	1	<=	217	>	8
>=	175

Query 88

Status	unknown
Inferred Status	None
Size	213962
Compressed Size	31717
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	243
Declared Datatypes	0

Symbols

true	5	Bool	243	not	124	or	1
and	233	=>	43	=	1135	forall	34
Int	54	div	1	+	4	-	54
*	17	<	1	<=	217	>	8
>=	175

Query 89

Status	unknown
Inferred Status	None
Size	214429
Compressed Size	31815
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	243
Declared Datatypes	0

Symbols

true	5	Bool	243	not	125	or	1
and	233	=>	43	=	1136	forall	34
Int	54	div	1	+	4	-	54
*	17	<	1	<=	217	>	8
>=	175

Query 90

Status	unknown
Inferred Status	None
Size	214464
Compressed Size	31819
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	243
Declared Datatypes	0

Symbols

true	5	Bool	243	not	125	or	1
and	233	=>	43	=	1136	forall	34
Int	54	div	1	+	4	-	54
*	17	<	1	<=	217	>	8
>=	175

Query 91

Status	unknown
Inferred Status	None
Size	214510
Compressed Size	31837
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	243
Declared Datatypes	0

Symbols

true	5	Bool	243	not	124	or	1
and	233	=>	43	=	1135	forall	34
Int	54	div	1	+	4	-	54
*	17	<	1	<=	217	>	8
>=	175

Query 92

Status	unknown
Inferred Status	None
Size	197184
Compressed Size	29464
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 93

Status	unknown
Inferred Status	None
Size	197199
Compressed Size	29461
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 94

Status	unknown
Inferred Status	None
Size	197199
Compressed Size	29466
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 95

Status	unknown
Inferred Status	None
Size	197214
Compressed Size	29462
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 96

Status	unknown
Inferred Status	None
Size	197214
Compressed Size	29469
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 97

Status	unknown
Inferred Status	None
Size	197229
Compressed Size	29463
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 98

Status	unknown
Inferred Status	None
Size	197229
Compressed Size	29470
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 99

Status	unknown
Inferred Status	None
Size	197244
Compressed Size	29466
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108

Query 100

Status	unknown
Inferred Status	None
Size	197244
Compressed Size	29472
Max. Term Depth	75
Asserts	14
Declared Functions	118
Declared Constants	1921
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	124	or	1
and	165	=>	41	=	1134	forall	34
Int	54	div	1	+	4	-	32
*	9	<	1	<=	150	>	8
>=	108