Benchmark

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

Benchmark without description.

Benchmark
Size	409900
Compressed Size	42374
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	530

Query 1

Status	unknown
Inferred Status	None
Size	220516
Compressed Size	32220
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 2

Status	unknown
Inferred Status	None
Size	220566
Compressed Size	32225
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 3

Status	unknown
Inferred Status	None
Size	220582
Compressed Size	32226
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 4

Status	unknown
Inferred Status	None
Size	220605
Compressed Size	32231
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 5

Status	unknown
Inferred Status	None
Size	220658
Compressed Size	32236
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 6

Status	unknown
Inferred Status	None
Size	220664
Compressed Size	32237
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 7

Status	unknown
Inferred Status	None
Size	220728
Compressed Size	32241
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 8

Status	unknown
Inferred Status	None
Size	220734
Compressed Size	32245
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 9

Status	unknown
Inferred Status	None
Size	220734
Compressed Size	32235
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 10

Status	unknown
Inferred Status	None
Size	220758
Compressed Size	32242
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 11

Status	unknown
Inferred Status	None
Size	220778
Compressed Size	32251
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 12

Status	unknown
Inferred Status	None
Size	220800
Compressed Size	32255
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 13

Status	unknown
Inferred Status	None
Size	220820
Compressed Size	32257
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 14

Status	unknown
Inferred Status	None
Size	220840
Compressed Size	32259
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 15

Status	unknown
Inferred Status	None
Size	220858
Compressed Size	32263
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 16

Status	unknown
Inferred Status	None
Size	220865
Compressed Size	32267
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 17

Status	unknown
Inferred Status	None
Size	220885
Compressed Size	32270
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 18

Status	unknown
Inferred Status	None
Size	220905
Compressed Size	32279
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 19

Status	unknown
Inferred Status	None
Size	220938
Compressed Size	32279
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 20

Status	unknown
Inferred Status	None
Size	220960
Compressed Size	32281
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 21

Status	unknown
Inferred Status	None
Size	220948
Compressed Size	32281
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 22

Status	unknown
Inferred Status	None
Size	220998
Compressed Size	32283
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 23

Status	unknown
Inferred Status	None
Size	220990
Compressed Size	32280
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 24

Status	unknown
Inferred Status	None
Size	221010
Compressed Size	32280
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 25

Status	unknown
Inferred Status	None
Size	221032
Compressed Size	32286
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 26

Status	unknown
Inferred Status	None
Size	221052
Compressed Size	32285
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 27

Status	unknown
Inferred Status	None
Size	221072
Compressed Size	32286
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 28

Status	unknown
Inferred Status	None
Size	221111
Compressed Size	32297
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 29

Status	unknown
Inferred Status	None
Size	221075
Compressed Size	32290
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	166	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	152	>	8
>=	111

Query 30

Status	unknown
Inferred Status	None
Size	221178
Compressed Size	32299
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 31

Status	unknown
Inferred Status	None
Size	221202
Compressed Size	32303
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 32

Status	unknown
Inferred Status	None
Size	221250
Compressed Size	32306
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 33

Status	unknown
Inferred Status	None
Size	221251
Compressed Size	32308
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 34

Status	unknown
Inferred Status	None
Size	221275
Compressed Size	32309
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 35

Status	unknown
Inferred Status	None
Size	221293
Compressed Size	32311
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 36

Status	unknown
Inferred Status	None
Size	221351
Compressed Size	32326
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 37

Status	unknown
Inferred Status	None
Size	221318
Compressed Size	32306
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 38

Status	unknown
Inferred Status	None
Size	221312
Compressed Size	32314
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 39

Status	unknown
Inferred Status	None
Size	221304
Compressed Size	32310
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 40

Status	unknown
Inferred Status	None
Size	221380
Compressed Size	32318
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 41

Status	unknown
Inferred Status	None
Size	221385
Compressed Size	32320
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 42

Status	unknown
Inferred Status	None
Size	221407
Compressed Size	32322
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 43

Status	unknown
Inferred Status	None
Size	221427
Compressed Size	32331
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 44

Status	unknown
Inferred Status	None
Size	221445
Compressed Size	32326
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 45

Status	unknown
Inferred Status	None
Size	221459
Compressed Size	32328
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 46

Status	unknown
Inferred Status	None
Size	221481
Compressed Size	32328
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 47

Status	unknown
Inferred Status	None
Size	221501
Compressed Size	32331
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 48

Status	unknown
Inferred Status	None
Size	221521
Compressed Size	32332
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 49

Status	unknown
Inferred Status	None
Size	221543
Compressed Size	32333
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 50

Status	unknown
Inferred Status	None
Size	221599
Compressed Size	32350
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 51

Status	unknown
Inferred Status	None
Size	221604
Compressed Size	32340
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 52

Status	unknown
Inferred Status	None
Size	221648
Compressed Size	32341
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 53

Status	unknown
Inferred Status	None
Size	221670
Compressed Size	32346
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 54

Status	unknown
Inferred Status	None
Size	221671
Compressed Size	32349
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 55

Status	unknown
Inferred Status	None
Size	221589
Compressed Size	32330
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 56

Status	unknown
Inferred Status	None
Size	221634
Compressed Size	32334
Max. Term Depth	75
Asserts	9
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 57

Status	unknown
Inferred Status	None
Size	220596
Compressed Size	32247
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 58

Status	unknown
Inferred Status	None
Size	220619
Compressed Size	32244
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 59

Status	unknown
Inferred Status	None
Size	220635
Compressed Size	32246
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 60

Status	unknown
Inferred Status	None
Size	220658
Compressed Size	32250
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 61

Status	unknown
Inferred Status	None
Size	220711
Compressed Size	32254
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 62

Status	unknown
Inferred Status	None
Size	220717
Compressed Size	32254
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 63

Status	unknown
Inferred Status	None
Size	220781
Compressed Size	32258
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 64

Status	unknown
Inferred Status	None
Size	220787
Compressed Size	32263
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 65

Status	unknown
Inferred Status	None
Size	220787
Compressed Size	32255
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 66

Status	unknown
Inferred Status	None
Size	220811
Compressed Size	32261
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 67

Status	unknown
Inferred Status	None
Size	220831
Compressed Size	32270
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 68

Status	unknown
Inferred Status	None
Size	220853
Compressed Size	32276
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 69

Status	unknown
Inferred Status	None
Size	220873
Compressed Size	32277
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 70

Status	unknown
Inferred Status	None
Size	220893
Compressed Size	32278
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 71

Status	unknown
Inferred Status	None
Size	220911
Compressed Size	32282
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 72

Status	unknown
Inferred Status	None
Size	220918
Compressed Size	32286
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 73

Status	unknown
Inferred Status	None
Size	220938
Compressed Size	32289
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 74

Status	unknown
Inferred Status	None
Size	220958
Compressed Size	32298
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 75

Status	unknown
Inferred Status	None
Size	220991
Compressed Size	32298
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 76

Status	unknown
Inferred Status	None
Size	221013
Compressed Size	32300
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 77

Status	unknown
Inferred Status	None
Size	221001
Compressed Size	32299
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 78

Status	unknown
Inferred Status	None
Size	221051
Compressed Size	32302
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 79

Status	unknown
Inferred Status	None
Size	221043
Compressed Size	32298
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 80

Status	unknown
Inferred Status	None
Size	221063
Compressed Size	32299
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 81

Status	unknown
Inferred Status	None
Size	221085
Compressed Size	32306
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 82

Status	unknown
Inferred Status	None
Size	221105
Compressed Size	32303
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 83

Status	unknown
Inferred Status	None
Size	221125
Compressed Size	32305
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 84

Status	unknown
Inferred Status	None
Size	221164
Compressed Size	32316
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 85

Status	unknown
Inferred Status	None
Size	221128
Compressed Size	32308
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	166	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	152	>	8
>=	111

Query 86

Status	unknown
Inferred Status	None
Size	221231
Compressed Size	32318
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 87

Status	unknown
Inferred Status	None
Size	221255
Compressed Size	32321
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 88

Status	unknown
Inferred Status	None
Size	221303
Compressed Size	32326
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 89

Status	unknown
Inferred Status	None
Size	221304
Compressed Size	32328
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 90

Status	unknown
Inferred Status	None
Size	221328
Compressed Size	32328
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 91

Status	unknown
Inferred Status	None
Size	221346
Compressed Size	32329
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 92

Status	unknown
Inferred Status	None
Size	221404
Compressed Size	32346
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 93

Status	unknown
Inferred Status	None
Size	221371
Compressed Size	32324
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 94

Status	unknown
Inferred Status	None
Size	221365
Compressed Size	32332
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 95

Status	unknown
Inferred Status	None
Size	221357
Compressed Size	32328
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 96

Status	unknown
Inferred Status	None
Size	221433
Compressed Size	32336
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	59
*	9	<	1	<=	151	>	8
>=	110

Query 97

Status	unknown
Inferred Status	None
Size	221438
Compressed Size	32337
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 98

Status	unknown
Inferred Status	None
Size	221460
Compressed Size	32341
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 99

Status	unknown
Inferred Status	None
Size	221480
Compressed Size	32349
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110

Query 100

Status	unknown
Inferred Status	None
Size	221498
Compressed Size	32344
Max. Term Depth	75
Asserts	11
Declared Functions	118
Declared Constants	2214
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	124	or	1
and	165	=>	41	=	1142	forall	34
Int	54	div	1	+	4	-	58
*	9	<	1	<=	151	>	8
>=	110