Benchmark

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

Benchmark without description.

Benchmark
Size	261081
Compressed Size	26483
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	268

Query 1

Status	unknown
Inferred Status	None
Size	101794
Compressed Size	17111
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	275
Declared Datatypes	0

Symbols

true	6	Bool	275	not	210	and	8
=>	3	=	217	forall	2	Int	2
+	2	-	2	<=	5	>=	6

Query 2

Status	unknown
Inferred Status	None
Size	82272
Compressed Size	14086
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 3

Status	unknown
Inferred Status	None
Size	82291
Compressed Size	14092
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 4

Status	unknown
Inferred Status	None
Size	82302
Compressed Size	14090
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 5

Status	unknown
Inferred Status	None
Size	82321
Compressed Size	14095
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 6

Status	unknown
Inferred Status	None
Size	82332
Compressed Size	14095
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 7

Status	unknown
Inferred Status	None
Size	82351
Compressed Size	14099
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 8

Status	unknown
Inferred Status	None
Size	82362
Compressed Size	14098
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 9

Status	unknown
Inferred Status	None
Size	82381
Compressed Size	14102
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 10

Status	unknown
Inferred Status	None
Size	101690
Compressed Size	17121
Max. Term Depth	12
Asserts	12
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	268
Declared Datatypes	0

Symbols

true	6	Bool	268	not	210	and	9
=>	6	=	223	forall	2	Int	2
+	2	-	2	<=	5	>=	6

Query 11

Status	unknown
Inferred Status	None
Size	100754
Compressed Size	16536
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	271
Declared Datatypes	0

Symbols

true	6	Bool	271	not	210	and	6
=>	2	=	214	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 12

Status	unknown
Inferred Status	None
Size	100774
Compressed Size	16538
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	271
Declared Datatypes	0

Symbols

true	6	Bool	271	not	210	and	6
=>	2	=	214	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 13

Status	unknown
Inferred Status	None
Size	100794
Compressed Size	16536
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	271
Declared Datatypes	0

Symbols

true	6	Bool	271	not	210	and	6
=>	2	=	214	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 14

Status	unknown
Inferred Status	None
Size	100790
Compressed Size	16523
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	271
Declared Datatypes	0

Symbols

true	6	Bool	271	not	210	and	6
=>	2	=	214	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 15

Status	unknown
Inferred Status	None
Size	100810
Compressed Size	16523
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	271
Declared Datatypes	0

Symbols

true	6	Bool	271	not	210	and	6
=>	2	=	214	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 16

Status	unknown
Inferred Status	None
Size	100849
Compressed Size	16542
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	271
Declared Datatypes	0

Symbols

true	6	Bool	271	not	210	and	6
=>	2	=	214	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 17

Status	unknown
Inferred Status	None
Size	84007
Compressed Size	14409
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 18

Status	unknown
Inferred Status	None
Size	84036
Compressed Size	14409
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 19

Status	unknown
Inferred Status	None
Size	84056
Compressed Size	14413
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 20

Status	unknown
Inferred Status	None
Size	84046
Compressed Size	14401
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 21

Status	unknown
Inferred Status	None
Size	84066
Compressed Size	14403
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 22

Status	unknown
Inferred Status	None
Size	84105
Compressed Size	14415
Max. Term Depth	12
Asserts	9
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 23

Status	unknown
Inferred Status	None
Size	85364
Compressed Size	14644
Max. Term Depth	12
Asserts	12
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	210	and	6
=>	3	=	208	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 24

Status	unknown
Inferred Status	None
Size	85393
Compressed Size	14646
Max. Term Depth	12
Asserts	12
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	210	and	6
=>	3	=	208	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 25

Status	unknown
Inferred Status	None
Size	85413
Compressed Size	14644
Max. Term Depth	12
Asserts	12
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	210	and	6
=>	3	=	208	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 26

Status	unknown
Inferred Status	None
Size	85403
Compressed Size	14633
Max. Term Depth	12
Asserts	12
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	210	and	6
=>	3	=	208	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 27

Status	unknown
Inferred Status	None
Size	85423
Compressed Size	14636
Max. Term Depth	12
Asserts	12
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	210	and	6
=>	3	=	208	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 28

Status	unknown
Inferred Status	None
Size	85462
Compressed Size	14648
Max. Term Depth	12
Asserts	12
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	210	and	6
=>	3	=	208	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 29

Status	unknown
Inferred Status	None
Size	82567
Compressed Size	14153
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 30

Status	unknown
Inferred Status	None
Size	82611
Compressed Size	14172
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 31

Status	unknown
Inferred Status	None
Size	82489
Compressed Size	14132
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 32

Status	unknown
Inferred Status	None
Size	82485
Compressed Size	14122
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 33

Status	unknown
Inferred Status	None
Size	82643
Compressed Size	14178
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 34

Status	unknown
Inferred Status	None
Size	82631
Compressed Size	14164
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 35

Status	unknown
Inferred Status	None
Size	82675
Compressed Size	14185
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 36

Status	unknown
Inferred Status	None
Size	82663
Compressed Size	14173
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 37

Status	unknown
Inferred Status	None
Size	82707
Compressed Size	14190
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 38

Status	unknown
Inferred Status	None
Size	82695
Compressed Size	14178
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 39

Status	unknown
Inferred Status	None
Size	82739
Compressed Size	14194
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 40

Status	unknown
Inferred Status	None
Size	82727
Compressed Size	14181
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 41

Status	unknown
Inferred Status	None
Size	82771
Compressed Size	14197
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 42

Status	unknown
Inferred Status	None
Size	82759
Compressed Size	14183
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 43

Status	unknown
Inferred Status	None
Size	82803
Compressed Size	14202
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 44

Status	unknown
Inferred Status	None
Size	82791
Compressed Size	14189
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 45

Status	unknown
Inferred Status	None
Size	82807
Compressed Size	14188
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 46

Status	unknown
Inferred Status	None
Size	82851
Compressed Size	14199
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 47

Status	unknown
Inferred Status	None
Size	82839
Compressed Size	14192
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 48

Status	unknown
Inferred Status	None
Size	82883
Compressed Size	14209
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 49

Status	unknown
Inferred Status	None
Size	82871
Compressed Size	14194
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 50

Status	unknown
Inferred Status	None
Size	82915
Compressed Size	14213
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 51

Status	unknown
Inferred Status	None
Size	82903
Compressed Size	14202
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 52

Status	unknown
Inferred Status	None
Size	82919
Compressed Size	14204
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 53

Status	unknown
Inferred Status	None
Size	82963
Compressed Size	14213
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 54

Status	unknown
Inferred Status	None
Size	82951
Compressed Size	14204
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 55

Status	unknown
Inferred Status	None
Size	82995
Compressed Size	14222
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 56

Status	unknown
Inferred Status	None
Size	82983
Compressed Size	14210
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 57

Status	unknown
Inferred Status	None
Size	83027
Compressed Size	14222
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 58

Status	unknown
Inferred Status	None
Size	82948
Compressed Size	14182
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 59

Status	unknown
Inferred Status	None
Size	82897
Compressed Size	14172
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 60

Status	unknown
Inferred Status	None
Size	82941
Compressed Size	14187
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 61

Status	unknown
Inferred Status	None
Size	82913
Compressed Size	14173
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 62

Status	unknown
Inferred Status	None
Size	82957
Compressed Size	14188
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 63

Status	unknown
Inferred Status	None
Size	83091
Compressed Size	14234
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 64

Status	unknown
Inferred Status	None
Size	83079
Compressed Size	14222
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 65

Status	unknown
Inferred Status	None
Size	83123
Compressed Size	14239
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 66

Status	unknown
Inferred Status	None
Size	83111
Compressed Size	14225
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 67

Status	unknown
Inferred Status	None
Size	83153
Compressed Size	14243
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 68

Status	unknown
Inferred Status	None
Size	83141
Compressed Size	14230
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 69

Status	unknown
Inferred Status	None
Size	83187
Compressed Size	14244
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 70

Status	unknown
Inferred Status	None
Size	83175
Compressed Size	14234
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 71

Status	unknown
Inferred Status	None
Size	83219
Compressed Size	14247
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 72

Status	unknown
Inferred Status	None
Size	83235
Compressed Size	14249
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 73

Status	unknown
Inferred Status	None
Size	83223
Compressed Size	14239
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 74

Status	unknown
Inferred Status	None
Size	83267
Compressed Size	14255
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 75

Status	unknown
Inferred Status	None
Size	83255
Compressed Size	14240
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 76

Status	unknown
Inferred Status	None
Size	83300
Compressed Size	14256
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 77

Status	unknown
Inferred Status	None
Size	83319
Compressed Size	14264
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 78

Status	unknown
Inferred Status	None
Size	83307
Compressed Size	14250
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 79

Status	unknown
Inferred Status	None
Size	83289
Compressed Size	14238
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 80

Status	unknown
Inferred Status	None
Size	83286
Compressed Size	14228
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 81

Status	unknown
Inferred Status	None
Size	83367
Compressed Size	14269
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 82

Status	unknown
Inferred Status	None
Size	83355
Compressed Size	14258
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 83

Status	unknown
Inferred Status	None
Size	83337
Compressed Size	14237
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 84

Status	unknown
Inferred Status	None
Size	83334
Compressed Size	14233
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 85

Status	unknown
Inferred Status	None
Size	83415
Compressed Size	14276
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 86

Status	unknown
Inferred Status	None
Size	83411
Compressed Size	14266
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 87

Status	unknown
Inferred Status	None
Size	83408
Compressed Size	14258
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 88

Status	unknown
Inferred Status	None
Size	83447
Compressed Size	14278
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 89

Status	unknown
Inferred Status	None
Size	83378
Compressed Size	14235
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 90

Status	unknown
Inferred Status	None
Size	83421
Compressed Size	14251
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 91

Status	unknown
Inferred Status	None
Size	83479
Compressed Size	14281
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 92

Status	unknown
Inferred Status	None
Size	83495
Compressed Size	14283
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 93

Status	unknown
Inferred Status	None
Size	83511
Compressed Size	14292
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 94

Status	unknown
Inferred Status	None
Size	83499
Compressed Size	14279
Max. Term Depth	12
Asserts	14
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	210	and	5
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 95

Status	unknown
Inferred Status	None
Size	83543
Compressed Size	14287
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 96

Status	unknown
Inferred Status	None
Size	83559
Compressed Size	14293
Max. Term Depth	12
Asserts	13
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	210	and	6
=>	2	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 97

Status	unknown
Inferred Status	None
Size	83513
Compressed Size	14261
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 98

Status	unknown
Inferred Status	None
Size	83531
Compressed Size	14259
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 99

Status	unknown
Inferred Status	None
Size	83530
Compressed Size	14254
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4

Query 100

Status	unknown
Inferred Status	None
Size	83636
Compressed Size	14274
Max. Term Depth	12
Asserts	15
Declared Functions	115
Declared Constants	1258
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	210	and	5
=>	1	=	205	forall	1	Int	1
+	2	-	2	<=	3	>=	4