Benchmark

incremental/UFNIA/20190906-CLEARSY/0000/00435.smt2

Benchmark without description.

Benchmark
Size	122738
Compressed Size	16832
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	53

Query 1

Status	unknown
Inferred Status	None
Size	97158
Compressed Size	15269
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	637	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 2

Status	unknown
Inferred Status	None
Size	97426
Compressed Size	15334
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	637	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 3

Status	unknown
Inferred Status	None
Size	97445
Compressed Size	15318
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	637	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 4

Status	unknown
Inferred Status	None
Size	97244
Compressed Size	15286
Max. Term Depth	34
Asserts	10
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	638	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 5

Status	unknown
Inferred Status	None
Size	94580
Compressed Size	14947
Max. Term Depth	34
Asserts	19
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	69	or	1
and	5	=>	3	=	638	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 6

Status	unknown
Inferred Status	None
Size	94599
Compressed Size	14951
Max. Term Depth	34
Asserts	19
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	69	or	1
and	5	=>	3	=	638	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 7

Status	unknown
Inferred Status	None
Size	96032
Compressed Size	15126
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	10
<	4	<=	2	>	1	>=	10

Query 8

Status	unknown
Inferred Status	None
Size	96051
Compressed Size	15132
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 9

Status	unknown
Inferred Status	None
Size	96070
Compressed Size	15133
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 10

Status	unknown
Inferred Status	None
Size	96089
Compressed Size	15136
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 11

Status	unknown
Inferred Status	None
Size	96108
Compressed Size	15136
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 12

Status	unknown
Inferred Status	None
Size	96127
Compressed Size	15138
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 13

Status	unknown
Inferred Status	None
Size	96146
Compressed Size	15140
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 14

Status	unknown
Inferred Status	None
Size	96165
Compressed Size	15140
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 15

Status	unknown
Inferred Status	None
Size	96184
Compressed Size	15142
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 16

Status	unknown
Inferred Status	None
Size	96205
Compressed Size	15144
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 17

Status	unknown
Inferred Status	None
Size	96225
Compressed Size	15148
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 18

Status	unknown
Inferred Status	None
Size	96245
Compressed Size	15152
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 19

Status	unknown
Inferred Status	None
Size	96265
Compressed Size	15156
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 20

Status	unknown
Inferred Status	None
Size	96285
Compressed Size	15159
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 21

Status	unknown
Inferred Status	None
Size	96305
Compressed Size	15163
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 22

Status	unknown
Inferred Status	None
Size	96325
Compressed Size	15164
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 23

Status	unknown
Inferred Status	None
Size	96345
Compressed Size	15167
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 24

Status	unknown
Inferred Status	None
Size	96355
Compressed Size	15163
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 25

Status	unknown
Inferred Status	None
Size	96384
Compressed Size	15173
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 26

Status	unknown
Inferred Status	None
Size	96404
Compressed Size	15177
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 27

Status	unknown
Inferred Status	None
Size	96424
Compressed Size	15177
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 28

Status	unknown
Inferred Status	None
Size	96444
Compressed Size	15180
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 29

Status	unknown
Inferred Status	None
Size	96464
Compressed Size	15181
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 30

Status	unknown
Inferred Status	None
Size	96484
Compressed Size	15185
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 31

Status	unknown
Inferred Status	None
Size	96504
Compressed Size	15187
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 32

Status	unknown
Inferred Status	None
Size	96524
Compressed Size	15188
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 33

Status	unknown
Inferred Status	None
Size	96545
Compressed Size	15188
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 34

Status	unknown
Inferred Status	None
Size	96565
Compressed Size	15191
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 35

Status	unknown
Inferred Status	None
Size	96585
Compressed Size	15193
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 36

Status	unknown
Inferred Status	None
Size	96605
Compressed Size	15196
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 37

Status	unknown
Inferred Status	None
Size	96625
Compressed Size	15197
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 38

Status	unknown
Inferred Status	None
Size	96645
Compressed Size	15197
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 39

Status	unknown
Inferred Status	None
Size	96665
Compressed Size	15199
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 40

Status	unknown
Inferred Status	None
Size	96685
Compressed Size	15202
Max. Term Depth	34
Asserts	23
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	69	or	1
and	5	=>	4	=	656	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 41

Status	unknown
Inferred Status	None
Size	97518
Compressed Size	15353
Max. Term Depth	34
Asserts	15
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	7	Bool	56	not	69	or	1
and	6	=>	4	=	636	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 42

Status	unknown
Inferred Status	None
Size	97537
Compressed Size	15340
Max. Term Depth	34
Asserts	15
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	7	Bool	56	not	69	or	1
and	6	=>	4	=	636	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 43

Status	unknown
Inferred Status	None
Size	94547
Compressed Size	14940
Max. Term Depth	34
Asserts	17
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	69	or	1
and	5	=>	3	=	637	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 44

Status	unknown
Inferred Status	None
Size	97317
Compressed Size	15294
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	637	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 45

Status	unknown
Inferred Status	None
Size	97558
Compressed Size	15353
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	637	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 46

Status	unknown
Inferred Status	None
Size	97577
Compressed Size	15337
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	637	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 47

Status	unknown
Inferred Status	None
Size	97376
Compressed Size	15307
Max. Term Depth	34
Asserts	13
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	7	Bool	57	not	69	or	1
and	6	=>	4	=	638	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 48

Status	unknown
Inferred Status	None
Size	98298
Compressed Size	15417
Max. Term Depth	34
Asserts	11
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	7	Bool	69	not	69	or	1
and	6	=>	4	=	648	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 49

Status	unknown
Inferred Status	None
Size	98294
Compressed Size	15413
Max. Term Depth	34
Asserts	11
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	7	Bool	69	not	69	or	1
and	6	=>	4	=	648	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 50

Status	unknown
Inferred Status	None
Size	98342
Compressed Size	15424
Max. Term Depth	34
Asserts	11
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	7	Bool	69	not	69	or	1
and	6	=>	4	=	648	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 51

Status	unknown
Inferred Status	None
Size	98338
Compressed Size	15418
Max. Term Depth	34
Asserts	11
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	69
Declared Datatypes	0

Symbols

true	7	Bool	69	not	69	or	1
and	6	=>	4	=	648	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 52

Status	unknown
Inferred Status	None
Size	94749
Compressed Size	14963
Max. Term Depth	34
Asserts	21
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	69	or	1
and	5	=>	3	=	636	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10

Query 53

Status	unknown
Inferred Status	None
Size	94791
Compressed Size	14977
Max. Term Depth	34
Asserts	21
Declared Functions	115
Declared Constants	1306
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	69	or	1
and	5	=>	3	=	636	forall	2
Int	2	div	1	+	1	-	9
<	4	<=	2	>	1	>=	10