Benchmark

incremental/UFNIA/20190909-CLEARSY/0016/00663.smt2

Benchmark without description.

Benchmark
Size	331654
Compressed Size	32291
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-09 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	221

Query 1

Status	unknown
Inferred Status	None
Size	147846
Compressed Size	23920
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	473	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 2

Status	unknown
Inferred Status	None
Size	147912
Compressed Size	23932
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	473	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 3

Status	unknown
Inferred Status	None
Size	147809
Compressed Size	23913
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	473	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 4

Status	unknown
Inferred Status	None
Size	147833
Compressed Size	23917
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	473	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 5

Status	unknown
Inferred Status	None
Size	147949
Compressed Size	23936
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	473	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 6

Status	unknown
Inferred Status	None
Size	147870
Compressed Size	23920
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	474	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 7

Status	unknown
Inferred Status	None
Size	147902
Compressed Size	23923
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	475	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 8

Status	unknown
Inferred Status	None
Size	147908
Compressed Size	23924
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	474	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 9

Status	unknown
Inferred Status	None
Size	147927
Compressed Size	23927
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	10
=>	4	=	474	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 10

Status	unknown
Inferred Status	None
Size	148074
Compressed Size	23945
Max. Term Depth	12
Asserts	10
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	242
Declared Datatypes	0

Symbols

true	6	Bool	242	not	185	and	11
=>	4	=	473	forall	3	Int	3
+	2	-	2	<=	6	>=	7

Query 11

Status	unknown
Inferred Status	None
Size	147967
Compressed Size	23947
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 12

Status	unknown
Inferred Status	None
Size	148006
Compressed Size	23952
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 13

Status	unknown
Inferred Status	None
Size	147917
Compressed Size	23935
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 14

Status	unknown
Inferred Status	None
Size	147936
Compressed Size	23936
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 15

Status	unknown
Inferred Status	None
Size	147955
Compressed Size	23940
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 16

Status	unknown
Inferred Status	None
Size	147974
Compressed Size	23936
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 17

Status	unknown
Inferred Status	None
Size	147993
Compressed Size	23942
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 18

Status	unknown
Inferred Status	None
Size	148012
Compressed Size	23944
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 19

Status	unknown
Inferred Status	None
Size	148031
Compressed Size	23938
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 20

Status	unknown
Inferred Status	None
Size	148051
Compressed Size	23941
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 21

Status	unknown
Inferred Status	None
Size	148071
Compressed Size	23949
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 22

Status	unknown
Inferred Status	None
Size	148091
Compressed Size	23951
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 23

Status	unknown
Inferred Status	None
Size	148199
Compressed Size	23971
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 24

Status	unknown
Inferred Status	None
Size	148248
Compressed Size	23978
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	12
=>	7	=	483	forall	3	Int	3
+	2	-	2	<=	6	>=	7

Query 25

Status	unknown
Inferred Status	None
Size	148147
Compressed Size	23952
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	484	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 26

Status	unknown
Inferred Status	None
Size	148187
Compressed Size	23957
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	241
Declared Datatypes	0

Symbols

true	6	Bool	241	not	185	and	11
=>	7	=	484	forall	3	Int	3
+	2	-	2	<=	5	>=	6

Query 27

Status	unknown
Inferred Status	None
Size	131199
Compressed Size	21548
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 28

Status	unknown
Inferred Status	None
Size	131277
Compressed Size	21573
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	185	and	9
=>	3	=	463	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 29

Status	unknown
Inferred Status	None
Size	131214
Compressed Size	21559
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 30

Status	unknown
Inferred Status	None
Size	131304
Compressed Size	21586
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	185	and	9
=>	3	=	463	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 31

Status	unknown
Inferred Status	None
Size	131545
Compressed Size	21649
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	185	and	9
=>	3	=	464	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 32

Status	unknown
Inferred Status	None
Size	131610
Compressed Size	21680
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	185	and	9
=>	3	=	464	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 33

Status	unknown
Inferred Status	None
Size	131631
Compressed Size	21675
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	185	and	9
=>	3	=	465	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 34

Status	unknown
Inferred Status	None
Size	131695
Compressed Size	21688
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	185	and	9
=>	3	=	465	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 35

Status	unknown
Inferred Status	None
Size	131524
Compressed Size	21624
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	185	and	9
=>	3	=	463	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 36

Status	unknown
Inferred Status	None
Size	131584
Compressed Size	21663
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	185	and	9
=>	3	=	463	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 37

Status	unknown
Inferred Status	None
Size	131605
Compressed Size	21657
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	185	and	9
=>	3	=	464	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 38

Status	unknown
Inferred Status	None
Size	131381
Compressed Size	21598
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 39

Status	unknown
Inferred Status	None
Size	131503
Compressed Size	21651
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	185	and	9
=>	3	=	463	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 40

Status	unknown
Inferred Status	None
Size	131202
Compressed Size	21536
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 41

Status	unknown
Inferred Status	None
Size	131176
Compressed Size	21527
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 42

Status	unknown
Inferred Status	None
Size	131232
Compressed Size	21541
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 43

Status	unknown
Inferred Status	None
Size	131208
Compressed Size	21534
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 44

Status	unknown
Inferred Status	None
Size	131265
Compressed Size	21553
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 45

Status	unknown
Inferred Status	None
Size	131240
Compressed Size	21540
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 46

Status	unknown
Inferred Status	None
Size	131297
Compressed Size	21554
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 47

Status	unknown
Inferred Status	None
Size	131272
Compressed Size	21546
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 48

Status	unknown
Inferred Status	None
Size	131288
Compressed Size	21555
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 49

Status	unknown
Inferred Status	None
Size	131345
Compressed Size	21572
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 50

Status	unknown
Inferred Status	None
Size	131361
Compressed Size	21563
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 51

Status	unknown
Inferred Status	None
Size	131336
Compressed Size	21555
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 52

Status	unknown
Inferred Status	None
Size	131393
Compressed Size	21576
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 53

Status	unknown
Inferred Status	None
Size	131368
Compressed Size	21577
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 54

Status	unknown
Inferred Status	None
Size	131425
Compressed Size	21580
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 55

Status	unknown
Inferred Status	None
Size	131400
Compressed Size	21575
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 56

Status	unknown
Inferred Status	None
Size	131457
Compressed Size	21592
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 57

Status	unknown
Inferred Status	None
Size	131473
Compressed Size	21593
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 58

Status	unknown
Inferred Status	None
Size	131489
Compressed Size	21607
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 59

Status	unknown
Inferred Status	None
Size	131464
Compressed Size	21578
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 60

Status	unknown
Inferred Status	None
Size	131521
Compressed Size	21597
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 61

Status	unknown
Inferred Status	None
Size	131496
Compressed Size	21590
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 62

Status	unknown
Inferred Status	None
Size	131553
Compressed Size	21601
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 63

Status	unknown
Inferred Status	None
Size	131528
Compressed Size	21596
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 64

Status	unknown
Inferred Status	None
Size	131585
Compressed Size	21615
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 65

Status	unknown
Inferred Status	None
Size	131560
Compressed Size	21600
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 66

Status	unknown
Inferred Status	None
Size	131617
Compressed Size	21624
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 67

Status	unknown
Inferred Status	None
Size	131592
Compressed Size	21608
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 68

Status	unknown
Inferred Status	None
Size	131649
Compressed Size	21624
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 69

Status	unknown
Inferred Status	None
Size	131624
Compressed Size	21610
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 70

Status	unknown
Inferred Status	None
Size	131681
Compressed Size	21625
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 71

Status	unknown
Inferred Status	None
Size	131656
Compressed Size	21613
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 72

Status	unknown
Inferred Status	None
Size	131713
Compressed Size	21632
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 73

Status	unknown
Inferred Status	None
Size	131668
Compressed Size	21625
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 74

Status	unknown
Inferred Status	None
Size	131643
Compressed Size	21610
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 75

Status	unknown
Inferred Status	None
Size	131761
Compressed Size	21639
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 76

Status	unknown
Inferred Status	None
Size	131736
Compressed Size	21626
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 77

Status	unknown
Inferred Status	None
Size	131793
Compressed Size	21648
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 78

Status	unknown
Inferred Status	None
Size	131900
Compressed Size	21662
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 79

Status	unknown
Inferred Status	None
Size	131916
Compressed Size	21660
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 80

Status	unknown
Inferred Status	None
Size	131932
Compressed Size	21661
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	185	and	9
=>	3	=	461	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 81

Status	unknown
Inferred Status	None
Size	131661
Compressed Size	21593
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	185	and	9
=>	4	=	464	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 82

Status	unknown
Inferred Status	None
Size	132027
Compressed Size	21674
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 83

Status	unknown
Inferred Status	None
Size	132043
Compressed Size	21676
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 84

Status	unknown
Inferred Status	None
Size	132059
Compressed Size	21677
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	185	and	9
=>	3	=	462	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 85

Status	unknown
Inferred Status	None
Size	131824
Compressed Size	21598
Max. Term Depth	12
Asserts	19
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	185	and	8
=>	3	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 86

Status	unknown
Inferred Status	None
Size	131840
Compressed Size	21601
Max. Term Depth	12
Asserts	19
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	185	and	8
=>	3	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 87

Status	unknown
Inferred Status	None
Size	131987
Compressed Size	21609
Max. Term Depth	12
Asserts	23
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 88

Status	unknown
Inferred Status	None
Size	131976
Compressed Size	21602
Max. Term Depth	12
Asserts	23
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 89

Status	unknown
Inferred Status	None
Size	132090
Compressed Size	21615
Max. Term Depth	12
Asserts	23
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 90

Status	unknown
Inferred Status	None
Size	131870
Compressed Size	21603
Max. Term Depth	12
Asserts	19
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	185	and	8
=>	3	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 91

Status	unknown
Inferred Status	None
Size	131888
Compressed Size	21608
Max. Term Depth	12
Asserts	19
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	185	and	8
=>	3	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 92

Status	unknown
Inferred Status	None
Size	132049
Compressed Size	21606
Max. Term Depth	12
Asserts	25
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 93

Status	unknown
Inferred Status	None
Size	132038
Compressed Size	21599
Max. Term Depth	12
Asserts	25
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 94

Status	unknown
Inferred Status	None
Size	132069
Compressed Size	21605
Max. Term Depth	12
Asserts	25
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 95

Status	unknown
Inferred Status	None
Size	132058
Compressed Size	21598
Max. Term Depth	12
Asserts	25
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 96

Status	unknown
Inferred Status	None
Size	132003
Compressed Size	21602
Max. Term Depth	12
Asserts	23
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 97

Status	unknown
Inferred Status	None
Size	131992
Compressed Size	21595
Max. Term Depth	12
Asserts	23
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 98

Status	unknown
Inferred Status	None
Size	132070
Compressed Size	21601
Max. Term Depth	12
Asserts	25
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 99

Status	unknown
Inferred Status	None
Size	132121
Compressed Size	21617
Max. Term Depth	12
Asserts	25
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5

Query 100

Status	unknown
Inferred Status	None
Size	131930
Compressed Size	21596
Max. Term Depth	12
Asserts	21
Declared Functions	115
Declared Constants	1942
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	185	and	8
=>	2	=	459	forall	2	Int	2
+	2	-	2	<=	4	>=	5