Benchmark

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

Benchmark without description.

Benchmark
Size	1197472
Compressed Size	103260
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	1257

Query 1

Status	unknown
Inferred Status	None
Size	297083
Compressed Size	41515
Max. Term Depth	75
Asserts	10
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	46
Declared Datatypes	0

Symbols

true	6	Bool	46	not	136	or	2
and	186	=>	69	=	1327	forall	53
Int	114	div	1	+	6	-	76
*	9	<	1	<=	154	>	8
>=	112

Query 2

Status	unknown
Inferred Status	None
Size	295606
Compressed Size	41498
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	138	or	2
and	190	=>	72	=	1342	forall	52
exists	1	Int	115	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 3

Status	unknown
Inferred Status	None
Size	294633
Compressed Size	41338
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	136	or	2
and	186	=>	72	=	1336	forall	52
exists	1	Int	114	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 4

Status	unknown
Inferred Status	None
Size	294698
Compressed Size	41350
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	140	or	2
and	185	=>	70	=	1337	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 5

Status	unknown
Inferred Status	None
Size	294987
Compressed Size	41361
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	140	or	2
and	185	=>	70	=	1337	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 6

Status	unknown
Inferred Status	None
Size	294663
Compressed Size	41340
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	136	or	2
and	186	=>	72	=	1336	forall	52
exists	1	Int	114	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 7

Status	unknown
Inferred Status	None
Size	294499
Compressed Size	41274
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	140	or	2
and	185	=>	69	=	1332	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 8

Status	unknown
Inferred Status	None
Size	294534
Compressed Size	41276
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	140	or	2
and	185	=>	69	=	1332	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 9

Status	unknown
Inferred Status	None
Size	294053
Compressed Size	41234
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	138	or	4
and	188	=>	68	=	1334	forall	52
exists	1	Int	114	div	1	+	8
-	73	*	9	<	1	<=	155
>	8	>=	113

Query 10

Status	unknown
Inferred Status	None
Size	295127
Compressed Size	41325
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	136	or	2
and	185	=>	70	=	1334	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 11

Status	unknown
Inferred Status	None
Size	295146
Compressed Size	41332
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	136	or	2
and	185	=>	70	=	1334	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 12

Status	unknown
Inferred Status	None
Size	294528
Compressed Size	41265
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	136	or	2
and	185	=>	70	=	1334	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 13

Status	unknown
Inferred Status	None
Size	294547
Compressed Size	41274
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	136	or	2
and	185	=>	70	=	1334	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 14

Status	unknown
Inferred Status	None
Size	294541
Compressed Size	41311
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	140	or	2
and	185	=>	70	=	1336	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 15

Status	unknown
Inferred Status	None
Size	294707
Compressed Size	41323
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	140	or	2
and	185	=>	70	=	1336	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 16

Status	unknown
Inferred Status	None
Size	295095
Compressed Size	41376
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	140	or	2
and	185	=>	70	=	1339	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 17

Status	unknown
Inferred Status	None
Size	295338
Compressed Size	41385
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	140	or	2
and	185	=>	70	=	1339	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 18

Status	unknown
Inferred Status	None
Size	297880
Compressed Size	41580
Max. Term Depth	75
Asserts	15
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	140	or	2
and	187	=>	71	=	1336	forall	54
Int	116	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 19

Status	unknown
Inferred Status	None
Size	297612
Compressed Size	41568
Max. Term Depth	75
Asserts	15
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	140	or	2
and	187	=>	71	=	1336	forall	54
Int	116	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 20

Status	unknown
Inferred Status	None
Size	296267
Compressed Size	41571
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	143	or	2
and	189	=>	72	=	1346	forall	52
exists	1	Int	114	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 21

Status	unknown
Inferred Status	None
Size	295509
Compressed Size	41475
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	140	or	2
and	186	=>	70	=	1338	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 22

Status	unknown
Inferred Status	None
Size	295479
Compressed Size	41477
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	140	or	2
and	186	=>	70	=	1338	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 23

Status	unknown
Inferred Status	None
Size	296093
Compressed Size	41520
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	142	or	2
and	188	=>	70	=	1343	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 24

Status	unknown
Inferred Status	None
Size	295483
Compressed Size	41483
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	140	or	2
and	186	=>	70	=	1339	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 25

Status	unknown
Inferred Status	None
Size	295284
Compressed Size	41414
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	143	or	2
and	189	=>	72	=	1344	forall	52
exists	1	Int	114	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 26

Status	unknown
Inferred Status	None
Size	294702
Compressed Size	41331
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	140	or	2
and	186	=>	70	=	1336	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 27

Status	unknown
Inferred Status	None
Size	294975
Compressed Size	41340
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	142	or	2
and	188	=>	70	=	1341	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 28

Status	unknown
Inferred Status	None
Size	293495
Compressed Size	41072
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	136	or	2
and	184	=>	67	=	1326	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 29

Status	unknown
Inferred Status	None
Size	293511
Compressed Size	41075
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	136	or	2
and	184	=>	67	=	1326	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 30

Status	unknown
Inferred Status	None
Size	303456
Compressed Size	42430
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 31

Status	unknown
Inferred Status	None
Size	303483
Compressed Size	42424
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 32

Status	unknown
Inferred Status	None
Size	303477
Compressed Size	42435
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 33

Status	unknown
Inferred Status	None
Size	303523
Compressed Size	42427
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	80
*	9	<	1	<=	153	>	8
>=	111

Query 34

Status	unknown
Inferred Status	None
Size	303543
Compressed Size	42428
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	80
*	9	<	1	<=	153	>	8
>=	111

Query 35

Status	unknown
Inferred Status	None
Size	303548
Compressed Size	42440
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 36

Status	unknown
Inferred Status	None
Size	303570
Compressed Size	42431
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 37

Status	unknown
Inferred Status	None
Size	303603
Compressed Size	42433
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	80
*	9	<	1	<=	153	>	8
>=	111

Query 38

Status	unknown
Inferred Status	None
Size	303605
Compressed Size	42443
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 39

Status	unknown
Inferred Status	None
Size	303618
Compressed Size	42449
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 40

Status	unknown
Inferred Status	None
Size	303672
Compressed Size	42450
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 41

Status	unknown
Inferred Status	None
Size	303629
Compressed Size	42443
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 42

Status	unknown
Inferred Status	None
Size	303681
Compressed Size	42454
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 43

Status	unknown
Inferred Status	None
Size	303687
Compressed Size	42454
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1378	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 44

Status	unknown
Inferred Status	None
Size	303739
Compressed Size	42463
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1378	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 45

Status	unknown
Inferred Status	None
Size	303826
Compressed Size	42489
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	154	>	8
>=	111

Query 46

Status	unknown
Inferred Status	None
Size	303855
Compressed Size	42496
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	145	or	2
and	191	=>	74	=	1378	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 47

Status	unknown
Inferred Status	None
Size	303895
Compressed Size	42495
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	145	or	2
and	191	=>	74	=	1378	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 48

Status	unknown
Inferred Status	None
Size	304103
Compressed Size	42541
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 49

Status	unknown
Inferred Status	None
Size	304128
Compressed Size	42546
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 50

Status	unknown
Inferred Status	None
Size	304122
Compressed Size	42551
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 51

Status	unknown
Inferred Status	None
Size	304224
Compressed Size	42567
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	146	or	2
and	191	=>	74	=	1380	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 52

Status	unknown
Inferred Status	None
Size	304210
Compressed Size	42565
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1378	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 53

Status	unknown
Inferred Status	None
Size	304262
Compressed Size	42564
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1378	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 54

Status	unknown
Inferred Status	None
Size	304242
Compressed Size	42569
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	2	<=	153	>	8
>=	111

Query 55

Status	unknown
Inferred Status	None
Size	304209
Compressed Size	42557
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	78
Declared Datatypes	0

Symbols

true	6	Bool	78	not	144	or	2
and	191	=>	74	=	1377	forall	54
Int	115	div	1	+	11	-	79
*	9	<	1	<=	153	>	8
>=	111

Query 56

Status	unknown
Inferred Status	None
Size	299586
Compressed Size	41718
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	140	or	2
and	190	=>	70	=	1347	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 57

Status	unknown
Inferred Status	None
Size	299678
Compressed Size	41721
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	140	or	2
and	190	=>	70	=	1347	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 58

Status	unknown
Inferred Status	None
Size	299626
Compressed Size	41724
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	140	or	2
and	190	=>	70	=	1347	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 59

Status	unknown
Inferred Status	None
Size	299718
Compressed Size	41732
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	140	or	2
and	190	=>	70	=	1347	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 60

Status	unknown
Inferred Status	None
Size	299666
Compressed Size	41722
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	140	or	2
and	190	=>	70	=	1347	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 61

Status	unknown
Inferred Status	None
Size	300222
Compressed Size	41729
Max. Term Depth	75
Asserts	14
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	38
Declared Datatypes	0

Symbols

true	6	Bool	38	not	140	or	2
and	190	=>	70	=	1347	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 62

Status	unknown
Inferred Status	None
Size	295755
Compressed Size	41428
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	136	or	2
and	185	=>	68	=	1329	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 63

Status	unknown
Inferred Status	None
Size	295782
Compressed Size	41421
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	136	or	2
and	185	=>	68	=	1329	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 64

Status	unknown
Inferred Status	None
Size	295962
Compressed Size	41422
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	136	or	2
and	185	=>	68	=	1329	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 65

Status	unknown
Inferred Status	None
Size	295747
Compressed Size	41431
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	136	or	2
and	185	=>	68	=	1330	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 66

Status	unknown
Inferred Status	None
Size	295767
Compressed Size	41428
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	136	or	2
and	185	=>	68	=	1330	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 67

Status	unknown
Inferred Status	None
Size	295973
Compressed Size	41431
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	136	or	2
and	185	=>	68	=	1330	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 68

Status	unknown
Inferred Status	None
Size	295928
Compressed Size	41506
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	142	or	2
and	186	=>	72	=	1341	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 69

Status	unknown
Inferred Status	None
Size	296200
Compressed Size	41516
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	142	or	2
and	186	=>	72	=	1341	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 70

Status	unknown
Inferred Status	None
Size	296037
Compressed Size	41516
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	142	or	2
and	186	=>	72	=	1341	forall	52
Int	113	div	1	+	6	-	73
*	9	<	1	<=	153	>	8
>=	111

Query 71

Status	unknown
Inferred Status	None
Size	307663
Compressed Size	43057
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	153	or	2
and	195	=>	78	=	1373	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 72

Status	unknown
Inferred Status	None
Size	307711
Compressed Size	43067
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 73

Status	unknown
Inferred Status	None
Size	307737
Compressed Size	43066
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 74

Status	unknown
Inferred Status	None
Size	307785
Compressed Size	43074
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	196	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	80
*	9	<	1	<=	162	>	8
>=	120

Query 75

Status	unknown
Inferred Status	None
Size	307793
Compressed Size	43076
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	196	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	162	>	8
>=	120

Query 76

Status	unknown
Inferred Status	None
Size	307824
Compressed Size	43081
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	196	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	162	>	8
>=	120

Query 77

Status	unknown
Inferred Status	None
Size	307861
Compressed Size	43094
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	153	or	2
and	195	=>	78	=	1373	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 78

Status	unknown
Inferred Status	None
Size	307883
Compressed Size	43092
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	153	or	2
and	195	=>	78	=	1373	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 79

Status	unknown
Inferred Status	None
Size	307935
Compressed Size	43102
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 80

Status	unknown
Inferred Status	None
Size	307962
Compressed Size	43102
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 81

Status	unknown
Inferred Status	None
Size	308014
Compressed Size	43118
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 82

Status	unknown
Inferred Status	None
Size	308137
Compressed Size	43128
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 83

Status	unknown
Inferred Status	None
Size	308178
Compressed Size	43149
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 84

Status	unknown
Inferred Status	None
Size	308223
Compressed Size	43165
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 85

Status	unknown
Inferred Status	None
Size	308268
Compressed Size	43170
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 86

Status	unknown
Inferred Status	None
Size	308295
Compressed Size	43178
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 87

Status	unknown
Inferred Status	None
Size	308322
Compressed Size	43178
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 88

Status	unknown
Inferred Status	None
Size	308349
Compressed Size	43186
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 89

Status	unknown
Inferred Status	None
Size	308377
Compressed Size	43180
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 90

Status	unknown
Inferred Status	None
Size	308419
Compressed Size	43198
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 91

Status	unknown
Inferred Status	None
Size	308440
Compressed Size	43204
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 92

Status	unknown
Inferred Status	None
Size	308542
Compressed Size	43229
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 93

Status	unknown
Inferred Status	None
Size	308699
Compressed Size	43223
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 94

Status	unknown
Inferred Status	None
Size	308579
Compressed Size	43230
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 95

Status	unknown
Inferred Status	None
Size	308628
Compressed Size	43241
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 96

Status	unknown
Inferred Status	None
Size	308804
Compressed Size	43245
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 97

Status	unknown
Inferred Status	None
Size	308651
Compressed Size	43239
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	196	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	80
*	9	<	1	<=	162	>	8
>=	120

Query 98

Status	unknown
Inferred Status	None
Size	308710
Compressed Size	43244
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 99

Status	unknown
Inferred Status	None
Size	308719
Compressed Size	43245
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119

Query 100

Status	unknown
Inferred Status	None
Size	308916
Compressed Size	43261
Max. Term Depth	75
Asserts	13
Declared Functions	120
Declared Constants	2726
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	149
Declared Datatypes	0

Symbols

true	6	Bool	149	not	152	or	2
and	195	=>	78	=	1372	forall	53
Int	114	div	1	+	6	-	79
*	9	<	1	<=	161	>	8
>=	119