Benchmark

incremental/QF_UFNIA/20190909-CLEARSY/0015/00206.smt2

Benchmark without description.

Benchmark
Size	70553
Compressed Size	8518
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	76

Query 1

Status	unknown
Inferred Status	None
Size	41244
Compressed Size	6803
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	66	and	10
=>	9	=	160

Query 2

Status	unknown
Inferred Status	None
Size	41290
Compressed Size	6811
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	66	and	10
=>	9	=	160

Query 3

Status	unknown
Inferred Status	None
Size	41205
Compressed Size	6806
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	66	and	10
=>	9	=	162

Query 4

Status	unknown
Inferred Status	None
Size	41291
Compressed Size	6821
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	66	and	10
=>	9	=	161

Query 5

Status	unknown
Inferred Status	None
Size	41330
Compressed Size	6820
Max. Term Depth	10
Asserts	10
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	66	and	10
=>	9	=	161

Query 6

Status	unknown
Inferred Status	None
Size	41678
Compressed Size	6890
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	162

Query 7

Status	unknown
Inferred Status	None
Size	41697
Compressed Size	6890
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	162

Query 8

Status	unknown
Inferred Status	None
Size	41716
Compressed Size	6893
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	162

Query 9

Status	unknown
Inferred Status	None
Size	41735
Compressed Size	6894
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	162

Query 10

Status	unknown
Inferred Status	None
Size	41727
Compressed Size	6896
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	162

Query 11

Status	unknown
Inferred Status	None
Size	41835
Compressed Size	6900
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	163

Query 12

Status	unknown
Inferred Status	None
Size	41854
Compressed Size	6896
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	163

Query 13

Status	unknown
Inferred Status	None
Size	41873
Compressed Size	6896
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	67	and	10
=>	9	=	163

Query 14

Status	unknown
Inferred Status	None
Size	39959
Compressed Size	6644
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	66	and	8
=>	8	=	159

Query 15

Status	unknown
Inferred Status	None
Size	39974
Compressed Size	6647
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	66	and	8
=>	8	=	159

Query 16

Status	unknown
Inferred Status	None
Size	39989
Compressed Size	6648
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	66	and	8
=>	8	=	159

Query 17

Status	unknown
Inferred Status	None
Size	40004
Compressed Size	6645
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	66	and	8
=>	8	=	159

Query 18

Status	unknown
Inferred Status	None
Size	40048
Compressed Size	6652
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	66	and	8
=>	8	=	161

Query 19

Status	unknown
Inferred Status	None
Size	40163
Compressed Size	6675
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	66	and	9
=>	8	=	159

Query 20

Status	unknown
Inferred Status	None
Size	40316
Compressed Size	6697
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	158

Query 21

Status	unknown
Inferred Status	None
Size	40343
Compressed Size	6714
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	158

Query 22

Status	unknown
Inferred Status	None
Size	40416
Compressed Size	6728
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 23

Status	unknown
Inferred Status	None
Size	40400
Compressed Size	6721
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 24

Status	unknown
Inferred Status	None
Size	40234
Compressed Size	6681
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	157

Query 25

Status	unknown
Inferred Status	None
Size	40310
Compressed Size	6705
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 26

Status	unknown
Inferred Status	None
Size	40239
Compressed Size	6689
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	157

Query 27

Status	unknown
Inferred Status	None
Size	40278
Compressed Size	6695
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 28

Status	unknown
Inferred Status	None
Size	40426
Compressed Size	6735
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 29

Status	unknown
Inferred Status	None
Size	40411
Compressed Size	6729
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 30

Status	unknown
Inferred Status	None
Size	40339
Compressed Size	6705
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 31

Status	unknown
Inferred Status	None
Size	40305
Compressed Size	6708
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 32

Status	unknown
Inferred Status	None
Size	40412
Compressed Size	6717
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	158

Query 33

Status	unknown
Inferred Status	None
Size	40440
Compressed Size	6733
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	158

Query 34

Status	unknown
Inferred Status	None
Size	40514
Compressed Size	6748
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 35

Status	unknown
Inferred Status	None
Size	40499
Compressed Size	6741
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 36

Status	unknown
Inferred Status	None
Size	40331
Compressed Size	6694
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	157

Query 37

Status	unknown
Inferred Status	None
Size	40408
Compressed Size	6718
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 38

Status	unknown
Inferred Status	None
Size	40335
Compressed Size	6706
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	157

Query 39

Status	unknown
Inferred Status	None
Size	40374
Compressed Size	6718
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 40

Status	unknown
Inferred Status	None
Size	40460
Compressed Size	6728
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	158

Query 41

Status	unknown
Inferred Status	None
Size	40488
Compressed Size	6743
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	158

Query 42

Status	unknown
Inferred Status	None
Size	40562
Compressed Size	6759
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 43

Status	unknown
Inferred Status	None
Size	40547
Compressed Size	6751
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	66	and	9
=>	8	=	159

Query 44

Status	unknown
Inferred Status	None
Size	40379
Compressed Size	6703
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	157

Query 45

Status	unknown
Inferred Status	None
Size	40456
Compressed Size	6729
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 46

Status	unknown
Inferred Status	None
Size	40383
Compressed Size	6716
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	157

Query 47

Status	unknown
Inferred Status	None
Size	40422
Compressed Size	6728
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	66	and	9
=>	8	=	158

Query 48

Status	unknown
Inferred Status	None
Size	40241
Compressed Size	6688
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	66	and	8
=>	8	=	159

Query 49

Status	unknown
Inferred Status	None
Size	40257
Compressed Size	6689
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	66	and	8
=>	8	=	159

Query 50

Status	unknown
Inferred Status	None
Size	40249
Compressed Size	6679
Max. Term Depth	10
Asserts	14
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	160

Query 51

Status	unknown
Inferred Status	None
Size	40308
Compressed Size	6675
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 52

Status	unknown
Inferred Status	None
Size	40299
Compressed Size	6676
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 53

Status	unknown
Inferred Status	None
Size	40295
Compressed Size	6674
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 54

Status	unknown
Inferred Status	None
Size	40344
Compressed Size	6681
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 55

Status	unknown
Inferred Status	None
Size	40311
Compressed Size	6676
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 56

Status	unknown
Inferred Status	None
Size	40360
Compressed Size	6682
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 57

Status	unknown
Inferred Status	None
Size	40370
Compressed Size	6684
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 58

Status	unknown
Inferred Status	None
Size	40419
Compressed Size	6690
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 59

Status	unknown
Inferred Status	None
Size	40372
Compressed Size	6683
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 60

Status	unknown
Inferred Status	None
Size	40363
Compressed Size	6683
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 61

Status	unknown
Inferred Status	None
Size	40388
Compressed Size	6684
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 62

Status	unknown
Inferred Status	None
Size	40379
Compressed Size	6684
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 63

Status	unknown
Inferred Status	None
Size	40447
Compressed Size	6696
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 64

Status	unknown
Inferred Status	None
Size	40438
Compressed Size	6696
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 65

Status	unknown
Inferred Status	None
Size	40391
Compressed Size	6685
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 66

Status	unknown
Inferred Status	None
Size	40440
Compressed Size	6691
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 67

Status	unknown
Inferred Status	None
Size	40407
Compressed Size	6686
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 68

Status	unknown
Inferred Status	None
Size	40456
Compressed Size	6692
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 69

Status	unknown
Inferred Status	None
Size	40466
Compressed Size	6697
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 70

Status	unknown
Inferred Status	None
Size	40515
Compressed Size	6705
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 71

Status	unknown
Inferred Status	None
Size	40439
Compressed Size	6690
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 72

Status	unknown
Inferred Status	None
Size	40488
Compressed Size	6694
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 73

Status	unknown
Inferred Status	None
Size	40455
Compressed Size	6690
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 74

Status	unknown
Inferred Status	None
Size	40504
Compressed Size	6696
Max. Term Depth	10
Asserts	15
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 75

Status	unknown
Inferred Status	None
Size	40514
Compressed Size	6703
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156

Query 76

Status	unknown
Inferred Status	None
Size	40563
Compressed Size	6710
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	574
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	66	and	8
=>	7	=	156