Benchmark

incremental/UFNIA/20190909-CLEARSY/0023/00232.smt2

Benchmark without description.

Benchmark
Size	29583
Compressed Size	3282
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	59

Query 1

Status	unknown
Inferred Status	None
Size	10363
Compressed Size	2276
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	5	=	49	forall	2	Int	2
-	1	<	3	<=	4

Query 2

Status	unknown
Inferred Status	None
Size	10398
Compressed Size	2295
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	5	=	49	forall	2	Int	2
-	1	<	2	<=	5

Query 3

Status	unknown
Inferred Status	None
Size	10443
Compressed Size	2304
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	5	=	49	forall	2	Int	2
-	1	<	2	<=	5

Query 4

Status	unknown
Inferred Status	None
Size	10443
Compressed Size	2294
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	5	=	49	forall	2	Int	2
-	1	<	3	<=	4

Query 5

Status	unknown
Inferred Status	None
Size	10451
Compressed Size	2308
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	5	=	49	forall	2	Int	2
-	1	<	2	<=	5

Query 6

Status	unknown
Inferred Status	None
Size	10496
Compressed Size	2318
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	5	=	49	forall	2	Int	2
-	1	<	2	<=	5

Query 7

Status	unknown
Inferred Status	None
Size	10265
Compressed Size	2210
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 8

Status	unknown
Inferred Status	None
Size	10289
Compressed Size	2219
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 9

Status	unknown
Inferred Status	None
Size	10313
Compressed Size	2221
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 10

Status	unknown
Inferred Status	None
Size	10338
Compressed Size	2227
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 11

Status	unknown
Inferred Status	None
Size	10363
Compressed Size	2227
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 12

Status	unknown
Inferred Status	None
Size	10388
Compressed Size	2235
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 13

Status	unknown
Inferred Status	None
Size	10442
Compressed Size	2249
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 14

Status	unknown
Inferred Status	None
Size	10437
Compressed Size	2246
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 15

Status	unknown
Inferred Status	None
Size	10456
Compressed Size	2240
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 16

Status	unknown
Inferred Status	None
Size	10483
Compressed Size	2250
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 17

Status	unknown
Inferred Status	None
Size	10526
Compressed Size	2259
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 18

Status	unknown
Inferred Status	None
Size	10546
Compressed Size	2260
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 19

Status	unknown
Inferred Status	None
Size	10566
Compressed Size	2265
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 20

Status	unknown
Inferred Status	None
Size	10586
Compressed Size	2270
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 21

Status	unknown
Inferred Status	None
Size	10338
Compressed Size	2265
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 22

Status	unknown
Inferred Status	None
Size	10362
Compressed Size	2276
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 23

Status	unknown
Inferred Status	None
Size	10386
Compressed Size	2278
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 24

Status	unknown
Inferred Status	None
Size	10411
Compressed Size	2285
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 25

Status	unknown
Inferred Status	None
Size	10436
Compressed Size	2289
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 26

Status	unknown
Inferred Status	None
Size	10461
Compressed Size	2291
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 27

Status	unknown
Inferred Status	None
Size	10517
Compressed Size	2306
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 28

Status	unknown
Inferred Status	None
Size	10508
Compressed Size	2302
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 29

Status	unknown
Inferred Status	None
Size	10527
Compressed Size	2297
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 30

Status	unknown
Inferred Status	None
Size	10554
Compressed Size	2308
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 31

Status	unknown
Inferred Status	None
Size	10601
Compressed Size	2318
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 32

Status	unknown
Inferred Status	None
Size	10621
Compressed Size	2323
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 33

Status	unknown
Inferred Status	None
Size	10641
Compressed Size	2323
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 34

Status	unknown
Inferred Status	None
Size	10661
Compressed Size	2327
Max. Term Depth	6
Asserts	9
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 35

Status	unknown
Inferred Status	None
Size	10391
Compressed Size	2277
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 36

Status	unknown
Inferred Status	None
Size	10415
Compressed Size	2287
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 37

Status	unknown
Inferred Status	None
Size	10439
Compressed Size	2291
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 38

Status	unknown
Inferred Status	None
Size	10464
Compressed Size	2297
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 39

Status	unknown
Inferred Status	None
Size	10489
Compressed Size	2302
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 40

Status	unknown
Inferred Status	None
Size	10514
Compressed Size	2302
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 41

Status	unknown
Inferred Status	None
Size	10570
Compressed Size	2317
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 42

Status	unknown
Inferred Status	None
Size	10561
Compressed Size	2312
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 43

Status	unknown
Inferred Status	None
Size	10580
Compressed Size	2308
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 44

Status	unknown
Inferred Status	None
Size	10607
Compressed Size	2318
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 45

Status	unknown
Inferred Status	None
Size	10654
Compressed Size	2329
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 46

Status	unknown
Inferred Status	None
Size	10674
Compressed Size	2333
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 47

Status	unknown
Inferred Status	None
Size	10694
Compressed Size	2334
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 48

Status	unknown
Inferred Status	None
Size	10714
Compressed Size	2339
Max. Term Depth	6
Asserts	11
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	12	and	7
=>	4	=	48	forall	2	Int	2
-	1	<	1	<=	5

Query 49

Status	unknown
Inferred Status	None
Size	9286
Compressed Size	2082
Max. Term Depth	6
Asserts	13
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	2

Query 50

Status	unknown
Inferred Status	None
Size	9301
Compressed Size	2083
Max. Term Depth	6
Asserts	13
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	2

Query 51

Status	unknown
Inferred Status	None
Size	9316
Compressed Size	2082
Max. Term Depth	6
Asserts	13
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	2

Query 52

Status	unknown
Inferred Status	None
Size	9331
Compressed Size	2083
Max. Term Depth	6
Asserts	13
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	2

Query 53

Status	unknown
Inferred Status	None
Size	9346
Compressed Size	2088
Max. Term Depth	6
Asserts	13
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	2

Query 54

Status	unknown
Inferred Status	None
Size	9287
Compressed Size	2075
Max. Term Depth	6
Asserts	12
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	3

Query 55

Status	unknown
Inferred Status	None
Size	9337
Compressed Size	2084
Max. Term Depth	6
Asserts	12
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	3

Query 56

Status	unknown
Inferred Status	None
Size	9302
Compressed Size	2078
Max. Term Depth	6
Asserts	12
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	42	forall	1	Int	1
-	1	<	1	<=	2

Query 57

Status	unknown
Inferred Status	None
Size	9352
Compressed Size	2084
Max. Term Depth	6
Asserts	12
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	5
=>	2	=	42	forall	1	Int	1
-	1	<	1	<=	2

Query 58

Status	unknown
Inferred Status	None
Size	9378
Compressed Size	2091
Max. Term Depth	6
Asserts	12
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	6
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	3	>=	1

Query 59

Status	unknown
Inferred Status	None
Size	9375
Compressed Size	2094
Max. Term Depth	6
Asserts	12
Declared Functions	115
Declared Constants	77
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	11	and	6
=>	2	=	41	forall	1	Int	1
-	1	<	1	<=	3	>=	1