Benchmark

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

Benchmark without description.

Benchmark
Size	430206
Compressed Size	50910
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	375

Query 1

Status	unknown
Inferred Status	None
Size	278269
Compressed Size	38661
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	136	or	2
and	183	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	112

Query 2

Status	unknown
Inferred Status	None
Size	278311
Compressed Size	38664
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	136	or	2
and	183	=>	69	=	1290	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	112

Query 3

Status	unknown
Inferred Status	None
Size	279137
Compressed Size	38788
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	137	or	2
and	182	=>	71	=	1293	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	279156
Compressed Size	38794
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	137	or	2
and	182	=>	71	=	1293	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	279146
Compressed Size	38792
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	137	or	2
and	182	=>	71	=	1293	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 6

Status	unknown
Inferred Status	None
Size	279167
Compressed Size	38792
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	137	or	2
and	182	=>	71	=	1293	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	279224
Compressed Size	38807
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	137	or	2
and	182	=>	71	=	1293	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	279214
Compressed Size	38801
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	137	or	2
and	182	=>	71	=	1293	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	280277
Compressed Size	38978
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	280296
Compressed Size	38986
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	280378
Compressed Size	38984
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	280418
Compressed Size	38984
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	280358
Compressed Size	38992
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	280371
Compressed Size	38988
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	280401
Compressed Size	39000
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	280414
Compressed Size	39001
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	280449
Compressed Size	39008
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	280511
Compressed Size	39010
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	280495
Compressed Size	39017
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	280557
Compressed Size	39017
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	280539
Compressed Size	39027
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	280601
Compressed Size	39028
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	280585
Compressed Size	39035
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	280647
Compressed Size	39038
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	138	or	2
and	182	=>	74	=	1302	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	279632
Compressed Size	38900
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 26

Status	unknown
Inferred Status	None
Size	279624
Compressed Size	38897
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 27

Status	unknown
Inferred Status	None
Size	279691
Compressed Size	38921
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 28

Status	unknown
Inferred Status	None
Size	279681
Compressed Size	38916
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 29

Status	unknown
Inferred Status	None
Size	279735
Compressed Size	38926
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 30

Status	unknown
Inferred Status	None
Size	279725
Compressed Size	38920
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 31

Status	unknown
Inferred Status	None
Size	279776
Compressed Size	38932
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 32

Status	unknown
Inferred Status	None
Size	279768
Compressed Size	38926
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 33

Status	unknown
Inferred Status	None
Size	279820
Compressed Size	38939
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 34

Status	unknown
Inferred Status	None
Size	279840
Compressed Size	38940
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 35

Status	unknown
Inferred Status	None
Size	279833
Compressed Size	38939
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 36

Status	unknown
Inferred Status	None
Size	280186
Compressed Size	38953
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 37

Status	unknown
Inferred Status	None
Size	280040
Compressed Size	38962
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	138	or	2
and	185	=>	72	=	1293	forall	55
Int	118	div	1	+	6	-	68
*	9	<	1	<=	154	>	8
>=	111

Query 38

Status	unknown
Inferred Status	None
Size	279559
Compressed Size	38883
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 39

Status	unknown
Inferred Status	None
Size	279549
Compressed Size	38883
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 40

Status	unknown
Inferred Status	None
Size	279603
Compressed Size	38892
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 41

Status	unknown
Inferred Status	None
Size	279593
Compressed Size	38888
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 42

Status	unknown
Inferred Status	None
Size	279853
Compressed Size	38918
Max. Term Depth	75
Asserts	27
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	138	or	2
and	184	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	154	>	8
>=	112

Query 43

Status	unknown
Inferred Status	None
Size	279845
Compressed Size	38921
Max. Term Depth	75
Asserts	27
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	138	or	2
and	184	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	154	>	8
>=	112

Query 44

Status	unknown
Inferred Status	None
Size	278584
Compressed Size	38729
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	137	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	278574
Compressed Size	38730
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	137	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	278627
Compressed Size	38739
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	137	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	278617
Compressed Size	38738
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	137	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	279549
Compressed Size	38883
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 49

Status	unknown
Inferred Status	None
Size	279539
Compressed Size	38881
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 50

Status	unknown
Inferred Status	None
Size	279593
Compressed Size	38890
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 51

Status	unknown
Inferred Status	None
Size	279583
Compressed Size	38884
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	183	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 52

Status	unknown
Inferred Status	None
Size	279156
Compressed Size	38804
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	279194
Compressed Size	38805
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	279219
Compressed Size	38827
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	279209
Compressed Size	38824
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	279262
Compressed Size	38835
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	279252
Compressed Size	38830
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	279794
Compressed Size	38895
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	279813
Compressed Size	38897
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	279803
Compressed Size	38895
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	279824
Compressed Size	38896
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	279876
Compressed Size	38906
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	279866
Compressed Size	38901
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	279361
Compressed Size	38858
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	279354
Compressed Size	38853
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	279406
Compressed Size	38869
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	279445
Compressed Size	38867
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	279468
Compressed Size	38882
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	279459
Compressed Size	38876
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	279514
Compressed Size	38886
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	279505
Compressed Size	38880
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	279720
Compressed Size	38930
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 73

Status	unknown
Inferred Status	None
Size	279713
Compressed Size	38929
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 74

Status	unknown
Inferred Status	None
Size	279765
Compressed Size	38943
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 75

Status	unknown
Inferred Status	None
Size	279810
Compressed Size	38946
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 76

Status	unknown
Inferred Status	None
Size	279810
Compressed Size	38950
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 77

Status	unknown
Inferred Status	None
Size	279849
Compressed Size	38947
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 78

Status	unknown
Inferred Status	None
Size	279880
Compressed Size	38962
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 79

Status	unknown
Inferred Status	None
Size	279871
Compressed Size	38957
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 80

Status	unknown
Inferred Status	None
Size	279926
Compressed Size	38968
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 81

Status	unknown
Inferred Status	None
Size	279918
Compressed Size	38964
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	137	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	153	>	8
>=	111

Query 82

Status	unknown
Inferred Status	None
Size	279320
Compressed Size	38871
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	279359
Compressed Size	38868
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	279365
Compressed Size	38876
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	279410
Compressed Size	38880
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	279422
Compressed Size	38889
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	279413
Compressed Size	38882
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	279468
Compressed Size	38893
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	279459
Compressed Size	38886
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	137	or	2
and	182	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	279167
Compressed Size	38800
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	279187
Compressed Size	38805
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	279178
Compressed Size	38800
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	279200
Compressed Size	38800
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	279252
Compressed Size	38814
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	279243
Compressed Size	38807
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	137	or	2
and	182	=>	71	=	1292	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	279731
Compressed Size	38893
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	139	or	2
and	182	=>	71	=	1298	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	279722
Compressed Size	38887
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	139	or	2
and	182	=>	71	=	1298	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	279781
Compressed Size	38902
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	139	or	2
and	182	=>	71	=	1298	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	279820
Compressed Size	38906
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	139	or	2
and	182	=>	71	=	1298	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	279826
Compressed Size	38913
Max. Term Depth	75
Asserts	20
Declared Functions	120
Declared Constants	2439
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	139	or	2
and	182	=>	71	=	1298	forall	55
Int	117	div	1	+	6	-	68
*	9	<	1	<=	152	>	8
>=	110