Benchmark

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

Benchmark without description.

Benchmark
Size	542938
Compressed Size	58913
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	751

Query 1

Status	unknown
Inferred Status	None
Size	278754
Compressed Size	38718
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	278798
Compressed Size	38722
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	278819
Compressed Size	38727
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	278853
Compressed Size	38729
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	278860
Compressed Size	38735
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 6

Status	unknown
Inferred Status	None
Size	278884
Compressed Size	38743
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	278903
Compressed Size	38742
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	278937
Compressed Size	38745
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	278946
Compressed Size	38753
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	278966
Compressed Size	38754
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	279001
Compressed Size	38758
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	279021
Compressed Size	38762
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	279031
Compressed Size	38764
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	279056
Compressed Size	38771
Max. Term Depth	75
Asserts	16
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	136	or	2
and	183	=>	70	=	1294	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	277234
Compressed Size	38520
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	181	=>	69	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	277272
Compressed Size	38519
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	181	=>	69	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	277282
Compressed Size	38526
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	181	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	277295
Compressed Size	38526
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	181	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	277331
Compressed Size	38535
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	277344
Compressed Size	38537
Max. Term Depth	75
Asserts	17
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	70	=	1292	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	277908
Compressed Size	38624
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 22

Status	unknown
Inferred Status	None
Size	277927
Compressed Size	38631
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 23

Status	unknown
Inferred Status	None
Size	277917
Compressed Size	38623
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 24

Status	unknown
Inferred Status	None
Size	277938
Compressed Size	38627
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 25

Status	unknown
Inferred Status	None
Size	277990
Compressed Size	38637
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 26

Status	unknown
Inferred Status	None
Size	277980
Compressed Size	38633
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 27

Status	unknown
Inferred Status	None
Size	279136
Compressed Size	38852
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	279130
Compressed Size	38850
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	279184
Compressed Size	38870
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 30

Status	unknown
Inferred Status	None
Size	279203
Compressed Size	38872
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	279195
Compressed Size	38866
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	279327
Compressed Size	38873
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	279265
Compressed Size	38878
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	279303
Compressed Size	38884
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	279308
Compressed Size	38888
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	279370
Compressed Size	38893
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	279355
Compressed Size	38898
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	279373
Compressed Size	38900
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	279389
Compressed Size	38890
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	279388
Compressed Size	38901
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	279431
Compressed Size	38910
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	279518
Compressed Size	38920
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	279479
Compressed Size	38920
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	279501
Compressed Size	38922
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	279521
Compressed Size	38925
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	279512
Compressed Size	38921
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	279534
Compressed Size	38921
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	279623
Compressed Size	38936
Max. Term Depth	75
Asserts	25
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	138	or	2
and	183	=>	71	=	1304	forall	55
Int	117	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	278478
Compressed Size	38696
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	278728
Compressed Size	38712
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 51

Status	unknown
Inferred Status	None
Size	278477
Compressed Size	38719
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	278469
Compressed Size	38716
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	7	Bool	30	not	136	or	2
and	182	=>	70	=	1291	forall	54
Int	116	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	278270
Compressed Size	38622
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	278289
Compressed Size	38628
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	278308
Compressed Size	38630
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	278300
Compressed Size	38623
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	278319
Compressed Size	38626
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	278491
Compressed Size	38640
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	278378
Compressed Size	38628
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	278439
Compressed Size	38638
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	182	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	278433
Compressed Size	38668
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	278453
Compressed Size	38673
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	278473
Compressed Size	38676
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	278493
Compressed Size	38678
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	278513
Compressed Size	38681
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	278533
Compressed Size	38684
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	278526
Compressed Size	38685
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	278546
Compressed Size	38686
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	278566
Compressed Size	38691
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	278586
Compressed Size	38693
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	278606
Compressed Size	38690
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	278718
Compressed Size	38712
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	278759
Compressed Size	38726
Max. Term Depth	75
Asserts	29
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	136	or	2
and	183	=>	71	=	1292	forall	55
Int	118	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	278465
Compressed Size	38680
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	278484
Compressed Size	38687
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	278474
Compressed Size	38686
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	278495
Compressed Size	38686
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	278547
Compressed Size	38695
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	278566
Compressed Size	38697
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	278556
Compressed Size	38697
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	278577
Compressed Size	38699
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	137	or	2
and	183	=>	72	=	1292	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	281573
Compressed Size	39012
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	281563
Compressed Size	39005
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	281616
Compressed Size	39014
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	281635
Compressed Size	39020
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 86

Status	unknown
Inferred Status	None
Size	281655
Compressed Size	39023
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	281644
Compressed Size	39011
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	281664
Compressed Size	39020
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	281747
Compressed Size	39022
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	281787
Compressed Size	39029
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	281756
Compressed Size	39032
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	281775
Compressed Size	39034
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	281795
Compressed Size	39038
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	281815
Compressed Size	39044
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	281837
Compressed Size	39046
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	281826
Compressed Size	39041
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	281846
Compressed Size	39044
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	281868
Compressed Size	39046
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	281951
Compressed Size	39052
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	281955
Compressed Size	39054
Max. Term Depth	75
Asserts	24
Declared Functions	120
Declared Constants	2392
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	7	Bool	27	not	145	or	3
and	187	=>	77	=	1311	forall	56
Int	119	div	1	+	6	-	69
*	9	<	1	<=	152	>	8
>=	110