Benchmark

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

Benchmark without description.

Benchmark
Size	795985
Compressed Size	71450
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	1110

Query 1

Status	unknown
Inferred Status	None
Size	266750
Compressed Size	36499
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 2

Status	unknown
Inferred Status	None
Size	266795
Compressed Size	36508
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 3

Status	unknown
Inferred Status	None
Size	266818
Compressed Size	36513
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 4

Status	unknown
Inferred Status	None
Size	266845
Compressed Size	36517
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 5

Status	unknown
Inferred Status	None
Size	266890
Compressed Size	36524
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	183	>	8
>=	141

Query 6

Status	unknown
Inferred Status	None
Size	266896
Compressed Size	36523
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 7

Status	unknown
Inferred Status	None
Size	266896
Compressed Size	36523
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 8

Status	unknown
Inferred Status	None
Size	266919
Compressed Size	36519
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 9

Status	unknown
Inferred Status	None
Size	266938
Compressed Size	36523
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 10

Status	unknown
Inferred Status	None
Size	266960
Compressed Size	36530
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 11

Status	unknown
Inferred Status	None
Size	266980
Compressed Size	36529
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 12

Status	unknown
Inferred Status	None
Size	267004
Compressed Size	36539
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 13

Status	unknown
Inferred Status	None
Size	267050
Compressed Size	36549
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	183	>	8
>=	141

Query 14

Status	unknown
Inferred Status	None
Size	267057
Compressed Size	36550
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 15

Status	unknown
Inferred Status	None
Size	267058
Compressed Size	36551
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 16

Status	unknown
Inferred Status	None
Size	267082
Compressed Size	36554
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 17

Status	unknown
Inferred Status	None
Size	267104
Compressed Size	36556
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 18

Status	unknown
Inferred Status	None
Size	267124
Compressed Size	36558
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 19

Status	unknown
Inferred Status	None
Size	267093
Compressed Size	36548
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 20

Status	unknown
Inferred Status	None
Size	267140
Compressed Size	36556
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	184	>	8
>=	142

Query 21

Status	unknown
Inferred Status	None
Size	267145
Compressed Size	36555
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	184	>	8
>=	142

Query 22

Status	unknown
Inferred Status	None
Size	267167
Compressed Size	36557
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	184	>	8
>=	142

Query 23

Status	unknown
Inferred Status	None
Size	267182
Compressed Size	36556
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 24

Status	unknown
Inferred Status	None
Size	267240
Compressed Size	36571
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 25

Status	unknown
Inferred Status	None
Size	267245
Compressed Size	36568
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 26

Status	unknown
Inferred Status	None
Size	267345
Compressed Size	36568
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 27

Status	unknown
Inferred Status	None
Size	267273
Compressed Size	36567
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 28

Status	unknown
Inferred Status	None
Size	267354
Compressed Size	36577
Max. Term Depth	75
Asserts	9
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1046	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 29

Status	unknown
Inferred Status	None
Size	266830
Compressed Size	36519
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 30

Status	unknown
Inferred Status	None
Size	266848
Compressed Size	36523
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 31

Status	unknown
Inferred Status	None
Size	266871
Compressed Size	36529
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 32

Status	unknown
Inferred Status	None
Size	266898
Compressed Size	36537
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 33

Status	unknown
Inferred Status	None
Size	266943
Compressed Size	36542
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	183	>	8
>=	141

Query 34

Status	unknown
Inferred Status	None
Size	266949
Compressed Size	36542
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 35

Status	unknown
Inferred Status	None
Size	266949
Compressed Size	36542
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 36

Status	unknown
Inferred Status	None
Size	266972
Compressed Size	36537
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 37

Status	unknown
Inferred Status	None
Size	266991
Compressed Size	36542
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 38

Status	unknown
Inferred Status	None
Size	267013
Compressed Size	36549
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 39

Status	unknown
Inferred Status	None
Size	267033
Compressed Size	36548
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 40

Status	unknown
Inferred Status	None
Size	267057
Compressed Size	36557
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 41

Status	unknown
Inferred Status	None
Size	267103
Compressed Size	36564
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	183	>	8
>=	141

Query 42

Status	unknown
Inferred Status	None
Size	267110
Compressed Size	36565
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 43

Status	unknown
Inferred Status	None
Size	267111
Compressed Size	36566
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 44

Status	unknown
Inferred Status	None
Size	267135
Compressed Size	36568
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 45

Status	unknown
Inferred Status	None
Size	267157
Compressed Size	36571
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 46

Status	unknown
Inferred Status	None
Size	267177
Compressed Size	36573
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 47

Status	unknown
Inferred Status	None
Size	267146
Compressed Size	36562
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 48

Status	unknown
Inferred Status	None
Size	267193
Compressed Size	36571
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	184	>	8
>=	142

Query 49

Status	unknown
Inferred Status	None
Size	267198
Compressed Size	36571
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	184	>	8
>=	142

Query 50

Status	unknown
Inferred Status	None
Size	267220
Compressed Size	36572
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	184	>	8
>=	142

Query 51

Status	unknown
Inferred Status	None
Size	267235
Compressed Size	36572
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 52

Status	unknown
Inferred Status	None
Size	267293
Compressed Size	36586
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 53

Status	unknown
Inferred Status	None
Size	267298
Compressed Size	36583
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 54

Status	unknown
Inferred Status	None
Size	267398
Compressed Size	36583
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 55

Status	unknown
Inferred Status	None
Size	267326
Compressed Size	36583
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 56

Status	unknown
Inferred Status	None
Size	267407
Compressed Size	36593
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1046	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 57

Status	unknown
Inferred Status	None
Size	266848
Compressed Size	36524
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 58

Status	unknown
Inferred Status	None
Size	266879
Compressed Size	36534
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 59

Status	unknown
Inferred Status	None
Size	266924
Compressed Size	36543
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	183	>	8
>=	141

Query 60

Status	unknown
Inferred Status	None
Size	266930
Compressed Size	36543
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 61

Status	unknown
Inferred Status	None
Size	266930
Compressed Size	36543
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 62

Status	unknown
Inferred Status	None
Size	266953
Compressed Size	36544
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 63

Status	unknown
Inferred Status	None
Size	266974
Compressed Size	36546
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 64

Status	unknown
Inferred Status	None
Size	266993
Compressed Size	36548
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 65

Status	unknown
Inferred Status	None
Size	266961
Compressed Size	36537
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 66

Status	unknown
Inferred Status	None
Size	267008
Compressed Size	36547
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	90
*	9	<	1	<=	184	>	8
>=	142

Query 67

Status	unknown
Inferred Status	None
Size	267013
Compressed Size	36549
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	184	>	8
>=	142

Query 68

Status	unknown
Inferred Status	None
Size	267035
Compressed Size	36551
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	222	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	184	>	8
>=	142

Query 69

Status	unknown
Inferred Status	None
Size	267050
Compressed Size	36552
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 70

Status	unknown
Inferred Status	None
Size	267108
Compressed Size	36566
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 71

Status	unknown
Inferred Status	None
Size	267113
Compressed Size	36566
Max. Term Depth	75
Asserts	11
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	5	Bool	10	not	140	or	6
and	221	=>	77	=	1045	forall	58
Int	124	div	1	+	6	-	89
*	9	<	1	<=	183	>	8
>=	141

Query 72

Status	unknown
Inferred Status	None
Size	273654
Compressed Size	37435
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 73

Status	unknown
Inferred Status	None
Size	273671
Compressed Size	37446
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 74

Status	unknown
Inferred Status	None
Size	273686
Compressed Size	37441
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 75

Status	unknown
Inferred Status	None
Size	273711
Compressed Size	37446
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 76

Status	unknown
Inferred Status	None
Size	273728
Compressed Size	37453
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 77

Status	unknown
Inferred Status	None
Size	273775
Compressed Size	37451
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	98
*	9	<	1	<=	183	>	8
>=	141

Query 78

Status	unknown
Inferred Status	None
Size	273768
Compressed Size	37446
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 79

Status	unknown
Inferred Status	None
Size	273787
Compressed Size	37448
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 80

Status	unknown
Inferred Status	None
Size	273804
Compressed Size	37454
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 81

Status	unknown
Inferred Status	None
Size	273826
Compressed Size	37461
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 82

Status	unknown
Inferred Status	None
Size	273859
Compressed Size	37460
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 83

Status	unknown
Inferred Status	None
Size	273860
Compressed Size	37460
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 84

Status	unknown
Inferred Status	None
Size	273899
Compressed Size	37469
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 85

Status	unknown
Inferred Status	None
Size	273904
Compressed Size	37473
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 86

Status	unknown
Inferred Status	None
Size	273926
Compressed Size	37466
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 87

Status	unknown
Inferred Status	None
Size	273946
Compressed Size	37469
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 88

Status	unknown
Inferred Status	None
Size	273964
Compressed Size	37482
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 89

Status	unknown
Inferred Status	None
Size	274012
Compressed Size	37480
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	98
*	9	<	1	<=	183	>	8
>=	141

Query 90

Status	unknown
Inferred Status	None
Size	274019
Compressed Size	37484
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 91

Status	unknown
Inferred Status	None
Size	274026
Compressed Size	37488
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 92

Status	unknown
Inferred Status	None
Size	274072
Compressed Size	37482
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	98
*	9	<	1	<=	183	>	8
>=	141

Query 93

Status	unknown
Inferred Status	None
Size	274064
Compressed Size	37482
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 94

Status	unknown
Inferred Status	None
Size	274059
Compressed Size	37485
Max. Term Depth	75
Asserts	35
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	5	Bool	35	not	141	or	6
and	224	=>	80	=	1093	forall	58
Int	124	div	1	+	6	-	97
*	9	<	1	<=	183	>	8
>=	141

Query 95

Status	unknown
Inferred Status	None
Size	277347
Compressed Size	38109
Max. Term Depth	75
Asserts	36
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	5	Bool	56	not	145	or	6
and	232	=>	86	=	1131	forall	58
Int	124	div	1	+	8	-	100
*	9	<	1	<=	187	>	8
>=	145

Query 96

Status	unknown
Inferred Status	None
Size	277364
Compressed Size	38119
Max. Term Depth	75
Asserts	36
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	5	Bool	56	not	145	or	6
and	232	=>	86	=	1131	forall	58
Int	124	div	1	+	8	-	100
*	9	<	1	<=	187	>	8
>=	145

Query 97

Status	unknown
Inferred Status	None
Size	277379
Compressed Size	38120
Max. Term Depth	75
Asserts	36
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	5	Bool	56	not	145	or	6
and	232	=>	86	=	1131	forall	58
Int	124	div	1	+	8	-	100
*	9	<	1	<=	187	>	8
>=	145

Query 98

Status	unknown
Inferred Status	None
Size	277404
Compressed Size	38118
Max. Term Depth	75
Asserts	36
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	5	Bool	56	not	145	or	6
and	232	=>	86	=	1131	forall	58
Int	124	div	1	+	8	-	100
*	9	<	1	<=	187	>	8
>=	145

Query 99

Status	unknown
Inferred Status	None
Size	277421
Compressed Size	38124
Max. Term Depth	75
Asserts	36
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	5	Bool	56	not	145	or	6
and	232	=>	86	=	1131	forall	58
Int	124	div	1	+	8	-	100
*	9	<	1	<=	187	>	8
>=	145

Query 100

Status	unknown
Inferred Status	None
Size	277468
Compressed Size	38125
Max. Term Depth	75
Asserts	36
Declared Functions	120
Declared Constants	2417
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	5	Bool	56	not	145	or	6
and	232	=>	86	=	1131	forall	58
Int	124	div	1	+	8	-	101
*	9	<	1	<=	187	>	8
>=	145