Benchmark

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

Benchmark without description.

Benchmark
Size	836951
Compressed Size	66727
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	1777

Query 1

Status	unknown
Inferred Status	None
Size	284079
Compressed Size	39166
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	189	=>	73	=	1317	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	284101
Compressed Size	39183
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	189	=>	73	=	1318	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	284178
Compressed Size	39196
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	189	=>	73	=	1317	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	284173
Compressed Size	39210
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	189	=>	73	=	1318	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	284193
Compressed Size	39199
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	189	=>	73	=	1317	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 6

Status	unknown
Inferred Status	None
Size	284188
Compressed Size	39212
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	189	=>	73	=	1318	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	286383
Compressed Size	39462
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	286402
Compressed Size	39466
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	286421
Compressed Size	39472
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	286440
Compressed Size	39470
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	286459
Compressed Size	39471
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	286478
Compressed Size	39472
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	286497
Compressed Size	39474
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	286516
Compressed Size	39476
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	286535
Compressed Size	39476
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	286555
Compressed Size	39486
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	286575
Compressed Size	39483
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	286595
Compressed Size	39489
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	286615
Compressed Size	39491
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	286635
Compressed Size	39494
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	286655
Compressed Size	39497
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	286675
Compressed Size	39501
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1342	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	286640
Compressed Size	39503
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1343	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	286660
Compressed Size	39502
Max. Term Depth	75
Asserts	31
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1343	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	285729
Compressed Size	39423
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 26

Status	unknown
Inferred Status	None
Size	285748
Compressed Size	39426
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 27

Status	unknown
Inferred Status	None
Size	285767
Compressed Size	39422
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	285786
Compressed Size	39423
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	285805
Compressed Size	39426
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	285824
Compressed Size	39426
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	285843
Compressed Size	39427
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	285862
Compressed Size	39430
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	285881
Compressed Size	39429
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	285901
Compressed Size	39436
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	285921
Compressed Size	39438
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	285941
Compressed Size	39445
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	285961
Compressed Size	39441
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	285981
Compressed Size	39445
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	286001
Compressed Size	39454
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	286021
Compressed Size	39456
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1339	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	285986
Compressed Size	39454
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1340	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	286006
Compressed Size	39451
Max. Term Depth	75
Asserts	22
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	7	Bool	28	not	141	or	2
and	190	=>	74	=	1340	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	286074
Compressed Size	39434
Max. Term Depth	75
Asserts	26
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	135	or	2
and	189	=>	73	=	1319	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	287762
Compressed Size	39533
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	287781
Compressed Size	39539
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	287800
Compressed Size	39540
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	287819
Compressed Size	39542
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	287838
Compressed Size	39542
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	287857
Compressed Size	39545
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	287876
Compressed Size	39546
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 51

Status	unknown
Inferred Status	None
Size	287895
Compressed Size	39548
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	287945
Compressed Size	39559
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	287965
Compressed Size	39563
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	287985
Compressed Size	39565
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	288005
Compressed Size	39569
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	288025
Compressed Size	39570
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	288045
Compressed Size	39573
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	288065
Compressed Size	39578
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	288085
Compressed Size	39580
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	288591
Compressed Size	39651
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	289676
Compressed Size	39668
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	288120
Compressed Size	39581
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	288140
Compressed Size	39583
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	288160
Compressed Size	39585
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	288180
Compressed Size	39585
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	288200
Compressed Size	39587
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	288220
Compressed Size	39589
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	288240
Compressed Size	39590
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	288260
Compressed Size	39592
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	288311
Compressed Size	39603
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	288331
Compressed Size	39604
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	288351
Compressed Size	39606
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	288371
Compressed Size	39607
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	288391
Compressed Size	39608
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	288411
Compressed Size	39611
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	288431
Compressed Size	39611
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	288451
Compressed Size	39612
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	288957
Compressed Size	39687
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	290042
Compressed Size	39700
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	288486
Compressed Size	39610
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	288506
Compressed Size	39612
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	288526
Compressed Size	39614
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	288546
Compressed Size	39614
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	288566
Compressed Size	39617
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	288586
Compressed Size	39616
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	288606
Compressed Size	39617
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	288626
Compressed Size	39619
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	288677
Compressed Size	39630
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	288697
Compressed Size	39635
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	288717
Compressed Size	39637
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	288737
Compressed Size	39638
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	288757
Compressed Size	39641
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	288777
Compressed Size	39642
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	288797
Compressed Size	39643
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	288817
Compressed Size	39644
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	289323
Compressed Size	39710
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	290408
Compressed Size	39725
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	288852
Compressed Size	39639
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	288872
Compressed Size	39640
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	288892
Compressed Size	39641
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2428
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	7	Bool	49	not	135	or	2
and	190	=>	74	=	1320	forall	57
Int	123	div	1	+	6	-	67
*	9	<	1	<=	152	>	8
>=	110