Benchmark

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

Benchmark without description.

Benchmark
Size	755099
Compressed Size	67958
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	612

Query 1

Status	unknown
Inferred Status	None
Size	283557
Compressed Size	39633
Max. Term Depth	75
Asserts	10
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	136	or	2
and	187	=>	70	=	1293	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	154	>	8
>=	112

Query 2

Status	unknown
Inferred Status	None
Size	288528
Compressed Size	40384
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 3

Status	unknown
Inferred Status	None
Size	288545
Compressed Size	40383
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	152	or	2
and	190	=>	82	=	1334	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 4

Status	unknown
Inferred Status	None
Size	288681
Compressed Size	40407
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	154	>	8
>=	111

Query 5

Status	unknown
Inferred Status	None
Size	288758
Compressed Size	40416
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1333	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 6

Status	unknown
Inferred Status	None
Size	288684
Compressed Size	40396
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 7

Status	unknown
Inferred Status	None
Size	288736
Compressed Size	40411
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 8

Status	unknown
Inferred Status	None
Size	288755
Compressed Size	40416
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 9

Status	unknown
Inferred Status	None
Size	288771
Compressed Size	40426
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 10

Status	unknown
Inferred Status	None
Size	289026
Compressed Size	40455
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	2	<=	153	>	8
>=	111

Query 11

Status	unknown
Inferred Status	None
Size	288876
Compressed Size	40439
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 12

Status	unknown
Inferred Status	None
Size	288829
Compressed Size	40433
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1333	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 13

Status	unknown
Inferred Status	None
Size	288858
Compressed Size	40440
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1333	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 14

Status	unknown
Inferred Status	None
Size	288915
Compressed Size	40452
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	152	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 15

Status	unknown
Inferred Status	None
Size	288929
Compressed Size	40449
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1332	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 16

Status	unknown
Inferred Status	None
Size	288964
Compressed Size	40455
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1333	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 17

Status	unknown
Inferred Status	None
Size	289126
Compressed Size	40464
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1333	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 18

Status	unknown
Inferred Status	None
Size	289090
Compressed Size	40457
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	151	or	2
and	190	=>	82	=	1333	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 19

Status	unknown
Inferred Status	None
Size	294449
Compressed Size	40896
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 20

Status	unknown
Inferred Status	None
Size	294462
Compressed Size	40895
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 21

Status	unknown
Inferred Status	None
Size	294521
Compressed Size	40909
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 22

Status	unknown
Inferred Status	None
Size	300470
Compressed Size	41311
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	6
and	201	=>	81	=	1356	forall	63
exists	1	Int	133	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 23

Status	unknown
Inferred Status	None
Size	294641
Compressed Size	40933
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 24

Status	unknown
Inferred Status	None
Size	294641
Compressed Size	40939
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 25

Status	unknown
Inferred Status	None
Size	294807
Compressed Size	40954
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 26

Status	unknown
Inferred Status	None
Size	294807
Compressed Size	40962
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 27

Status	unknown
Inferred Status	None
Size	294761
Compressed Size	40954
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 28

Status	unknown
Inferred Status	None
Size	294781
Compressed Size	40958
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 29

Status	unknown
Inferred Status	None
Size	294843
Compressed Size	40967
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 30

Status	unknown
Inferred Status	None
Size	295119
Compressed Size	40995
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 31

Status	unknown
Inferred Status	None
Size	295424
Compressed Size	40988
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 32

Status	unknown
Inferred Status	None
Size	295444
Compressed Size	40988
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 33

Status	unknown
Inferred Status	None
Size	295464
Compressed Size	41003
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 34

Status	unknown
Inferred Status	None
Size	294887
Compressed Size	40968
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 35

Status	unknown
Inferred Status	None
Size	294917
Compressed Size	40975
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 36

Status	unknown
Inferred Status	None
Size	301029
Compressed Size	41413
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	141	or	6
and	201	=>	81	=	1357	forall	63
exists	1	Int	133	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 37

Status	unknown
Inferred Status	None
Size	295007
Compressed Size	40988
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 38

Status	unknown
Inferred Status	None
Size	295008
Compressed Size	40995
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 39

Status	unknown
Inferred Status	None
Size	295175
Compressed Size	41012
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 40

Status	unknown
Inferred Status	None
Size	295176
Compressed Size	41020
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 41

Status	unknown
Inferred Status	None
Size	295131
Compressed Size	41010
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 42

Status	unknown
Inferred Status	None
Size	295151
Compressed Size	41012
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 43

Status	unknown
Inferred Status	None
Size	295213
Compressed Size	41019
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 44

Status	unknown
Inferred Status	None
Size	295489
Compressed Size	41048
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 45

Status	unknown
Inferred Status	None
Size	295794
Compressed Size	41040
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 46

Status	unknown
Inferred Status	None
Size	295814
Compressed Size	41037
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 47

Status	unknown
Inferred Status	None
Size	295834
Compressed Size	41051
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 48

Status	unknown
Inferred Status	None
Size	301276
Compressed Size	41439
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	141	or	6
and	201	=>	81	=	1357	forall	63
exists	1	Int	133	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 49

Status	unknown
Inferred Status	None
Size	295223
Compressed Size	41003
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 50

Status	unknown
Inferred Status	None
Size	295273
Compressed Size	41010
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 51

Status	unknown
Inferred Status	None
Size	295274
Compressed Size	41018
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 52

Status	unknown
Inferred Status	None
Size	295441
Compressed Size	41035
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 53

Status	unknown
Inferred Status	None
Size	295442
Compressed Size	41042
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 54

Status	unknown
Inferred Status	None
Size	295397
Compressed Size	41034
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 55

Status	unknown
Inferred Status	None
Size	295417
Compressed Size	41035
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 56

Status	unknown
Inferred Status	None
Size	295479
Compressed Size	41042
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 57

Status	unknown
Inferred Status	None
Size	295755
Compressed Size	41070
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 58

Status	unknown
Inferred Status	None
Size	296060
Compressed Size	41063
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 59

Status	unknown
Inferred Status	None
Size	296080
Compressed Size	41060
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 60

Status	unknown
Inferred Status	None
Size	296100
Compressed Size	41073
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 61

Status	unknown
Inferred Status	None
Size	301819
Compressed Size	41488
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	142	or	6
and	201	=>	81	=	1358	forall	63
exists	1	Int	133	div	1	+	6
-	73	*	9	<	1	<=	153
>	8	>=	111

Query 62

Status	unknown
Inferred Status	None
Size	295597
Compressed Size	41051
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 63

Status	unknown
Inferred Status	None
Size	295598
Compressed Size	41058
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 64

Status	unknown
Inferred Status	None
Size	295765
Compressed Size	41074
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 65

Status	unknown
Inferred Status	None
Size	295766
Compressed Size	41081
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1335	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 66

Status	unknown
Inferred Status	None
Size	295721
Compressed Size	41072
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 67

Status	unknown
Inferred Status	None
Size	295741
Compressed Size	41074
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 68

Status	unknown
Inferred Status	None
Size	295803
Compressed Size	41081
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 69

Status	unknown
Inferred Status	None
Size	296079
Compressed Size	41108
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 70

Status	unknown
Inferred Status	None
Size	296384
Compressed Size	41100
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 71

Status	unknown
Inferred Status	None
Size	296404
Compressed Size	41098
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 72

Status	unknown
Inferred Status	None
Size	296424
Compressed Size	41110
Max. Term Depth	75
Asserts	14
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	85
Declared Datatypes	0

Symbols

true	6	Bool	85	not	140	or	2
and	192	=>	75	=	1336	forall	59
Int	121	div	1	+	6	-	71
*	9	<	1	<=	153	>	8
>=	111

Query 73

Status	unknown
Inferred Status	None
Size	284103
Compressed Size	39734
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
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	186	=>	70	=	1298	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 74

Status	unknown
Inferred Status	None
Size	284243
Compressed Size	39762
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	138	or	2
and	186	=>	70	=	1300	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 75

Status	unknown
Inferred Status	None
Size	284220
Compressed Size	39765
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
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	186	=>	70	=	1298	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 76

Status	unknown
Inferred Status	None
Size	286147
Compressed Size	40009
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1308	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 77

Status	unknown
Inferred Status	None
Size	286227
Compressed Size	40012
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1308	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 78

Status	unknown
Inferred Status	None
Size	286133
Compressed Size	40011
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1309	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 79

Status	unknown
Inferred Status	None
Size	286152
Compressed Size	40013
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1309	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 80

Status	unknown
Inferred Status	None
Size	286244
Compressed Size	40012
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1309	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 81

Status	unknown
Inferred Status	None
Size	286263
Compressed Size	40012
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1309	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 82

Status	unknown
Inferred Status	None
Size	286190
Compressed Size	40022
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1309	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 83

Status	unknown
Inferred Status	None
Size	286209
Compressed Size	40026
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1309	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 84

Status	unknown
Inferred Status	None
Size	286272
Compressed Size	40036
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	144	or	2
and	192	=>	76	=	1309	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 85

Status	unknown
Inferred Status	None
Size	292241
Compressed Size	40698
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	158	or	2
and	195	=>	83	=	1346	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 86

Status	unknown
Inferred Status	None
Size	292316
Compressed Size	40696
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 87

Status	unknown
Inferred Status	None
Size	292347
Compressed Size	40717
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 88

Status	unknown
Inferred Status	None
Size	292368
Compressed Size	40718
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 89

Status	unknown
Inferred Status	None
Size	292417
Compressed Size	40732
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 90

Status	unknown
Inferred Status	None
Size	292496
Compressed Size	40739
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 91

Status	unknown
Inferred Status	None
Size	292457
Compressed Size	40738
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1346	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 92

Status	unknown
Inferred Status	None
Size	292516
Compressed Size	40738
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1346	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 93

Status	unknown
Inferred Status	None
Size	292561
Compressed Size	40744
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 94

Status	unknown
Inferred Status	None
Size	293034
Compressed Size	40747
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1346	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 95

Status	unknown
Inferred Status	None
Size	292580
Compressed Size	40750
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	158	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 96

Status	unknown
Inferred Status	None
Size	292594
Compressed Size	40754
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 97

Status	unknown
Inferred Status	None
Size	292907
Compressed Size	40752
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 98

Status	unknown
Inferred Status	None
Size	292649
Compressed Size	40761
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1346	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 99

Status	unknown
Inferred Status	None
Size	293108
Compressed Size	40774
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1346	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	153	>	8
>=	111

Query 100

Status	unknown
Inferred Status	None
Size	292784
Compressed Size	40784
Max. Term Depth	75
Asserts	15
Declared Functions	128
Declared Constants	2558
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	82
Declared Datatypes	0

Symbols

true	6	Bool	82	not	157	or	2
and	195	=>	83	=	1345	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	154	>	8
>=	111