Benchmark

incremental/UF/20190906-CLEARSY/0008/00065.smt2

Benchmark without description.

Benchmark
Size	65839
Compressed Size	6331
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	125

Query 1

Status	unknown
Inferred Status	None
Size	24547
Compressed Size	4499
Max. Term Depth	24
Asserts	10
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	14
=>	4	=	45	exists	5

Query 2

Status	unknown
Inferred Status	None
Size	25297
Compressed Size	4565
Max. Term Depth	30
Asserts	10
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	17
=>	4	=	48	exists	8

Query 3

Status	unknown
Inferred Status	None
Size	23343
Compressed Size	4342
Max. Term Depth	11
Asserts	10
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	8
=>	3	=	39

Query 4

Status	unknown
Inferred Status	None
Size	23342
Compressed Size	4343
Max. Term Depth	11
Asserts	10
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	8
=>	3	=	39

Query 5

Status	unknown
Inferred Status	None
Size	24646
Compressed Size	4517
Max. Term Depth	24
Asserts	13
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	14
=>	4	=	45	exists	5

Query 6

Status	unknown
Inferred Status	None
Size	25369
Compressed Size	4581
Max. Term Depth	30
Asserts	13
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	17
=>	4	=	48	exists	8

Query 7

Status	unknown
Inferred Status	None
Size	23415
Compressed Size	4358
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	8
=>	3	=	39

Query 8

Status	unknown
Inferred Status	None
Size	23414
Compressed Size	4360
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	10	and	8
=>	3	=	39

Query 9

Status	unknown
Inferred Status	None
Size	23273
Compressed Size	4319
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 10

Status	unknown
Inferred Status	None
Size	23499
Compressed Size	4324
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 11

Status	unknown
Inferred Status	None
Size	23332
Compressed Size	4329
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	41

Query 12

Status	unknown
Inferred Status	None
Size	23442
Compressed Size	4338
Max. Term Depth	11
Asserts	17
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 13

Status	unknown
Inferred Status	None
Size	23362
Compressed Size	4333
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	41

Query 14

Status	unknown
Inferred Status	None
Size	23471
Compressed Size	4341
Max. Term Depth	11
Asserts	17
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 15

Status	unknown
Inferred Status	None
Size	23405
Compressed Size	4342
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 16

Status	unknown
Inferred Status	None
Size	23591
Compressed Size	4339
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 17

Status	unknown
Inferred Status	None
Size	23606
Compressed Size	4344
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 18

Status	unknown
Inferred Status	None
Size	23623
Compressed Size	4353
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 19

Status	unknown
Inferred Status	None
Size	23456
Compressed Size	4347
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	41

Query 20

Status	unknown
Inferred Status	None
Size	23567
Compressed Size	4363
Max. Term Depth	11
Asserts	17
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 21

Status	unknown
Inferred Status	None
Size	23488
Compressed Size	4356
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	41

Query 22

Status	unknown
Inferred Status	None
Size	23599
Compressed Size	4370
Max. Term Depth	11
Asserts	17
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 23

Status	unknown
Inferred Status	None
Size	23520
Compressed Size	4360
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	41

Query 24

Status	unknown
Inferred Status	None
Size	23586
Compressed Size	4373
Max. Term Depth	11
Asserts	17
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 25

Status	unknown
Inferred Status	None
Size	23736
Compressed Size	4366
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 26

Status	unknown
Inferred Status	None
Size	23568
Compressed Size	4369
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	41

Query 27

Status	unknown
Inferred Status	None
Size	23634
Compressed Size	4379
Max. Term Depth	11
Asserts	17
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 28

Status	unknown
Inferred Status	None
Size	23600
Compressed Size	4375
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	41

Query 29

Status	unknown
Inferred Status	None
Size	23710
Compressed Size	4383
Max. Term Depth	11
Asserts	17
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	42

Query 30

Status	unknown
Inferred Status	None
Size	26225
Compressed Size	4550
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 31

Status	unknown
Inferred Status	None
Size	26282
Compressed Size	4562
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 32

Status	unknown
Inferred Status	None
Size	26276
Compressed Size	4565
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 33

Status	unknown
Inferred Status	None
Size	26297
Compressed Size	4566
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 34

Status	unknown
Inferred Status	None
Size	26316
Compressed Size	4569
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 35

Status	unknown
Inferred Status	None
Size	26337
Compressed Size	4569
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 36

Status	unknown
Inferred Status	None
Size	26392
Compressed Size	4579
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 37

Status	unknown
Inferred Status	None
Size	26383
Compressed Size	4575
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 38

Status	unknown
Inferred Status	None
Size	26404
Compressed Size	4577
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 39

Status	unknown
Inferred Status	None
Size	26424
Compressed Size	4580
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 40

Status	unknown
Inferred Status	None
Size	26446
Compressed Size	4584
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 41

Status	unknown
Inferred Status	None
Size	26465
Compressed Size	4588
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 42

Status	unknown
Inferred Status	None
Size	26486
Compressed Size	4591
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 43

Status	unknown
Inferred Status	None
Size	26542
Compressed Size	4602
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 44

Status	unknown
Inferred Status	None
Size	26565
Compressed Size	4603
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 45

Status	unknown
Inferred Status	None
Size	26557
Compressed Size	4599
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 46

Status	unknown
Inferred Status	None
Size	26578
Compressed Size	4602
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 47

Status	unknown
Inferred Status	None
Size	26595
Compressed Size	4607
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 48

Status	unknown
Inferred Status	None
Size	26619
Compressed Size	4607
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 49

Status	unknown
Inferred Status	None
Size	26638
Compressed Size	4611
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 50

Status	unknown
Inferred Status	None
Size	26662
Compressed Size	4610
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 51

Status	unknown
Inferred Status	None
Size	26715
Compressed Size	4622
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 52

Status	unknown
Inferred Status	None
Size	26739
Compressed Size	4622
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 53

Status	unknown
Inferred Status	None
Size	26727
Compressed Size	4620
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 54

Status	unknown
Inferred Status	None
Size	26752
Compressed Size	4618
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 55

Status	unknown
Inferred Status	None
Size	26773
Compressed Size	4619
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 56

Status	unknown
Inferred Status	None
Size	26825
Compressed Size	4632
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 57

Status	unknown
Inferred Status	None
Size	26850
Compressed Size	4632
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 58

Status	unknown
Inferred Status	None
Size	26838
Compressed Size	4632
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 59

Status	unknown
Inferred Status	None
Size	26859
Compressed Size	4634
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 60

Status	unknown
Inferred Status	None
Size	26884
Compressed Size	4629
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 61

Status	unknown
Inferred Status	None
Size	26901
Compressed Size	4638
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 62

Status	unknown
Inferred Status	None
Size	26926
Compressed Size	4634
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 63

Status	unknown
Inferred Status	None
Size	26943
Compressed Size	4641
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 64

Status	unknown
Inferred Status	None
Size	26999
Compressed Size	4649
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 65

Status	unknown
Inferred Status	None
Size	27024
Compressed Size	4647
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 66

Status	unknown
Inferred Status	None
Size	27016
Compressed Size	4643
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 67

Status	unknown
Inferred Status	None
Size	27072
Compressed Size	4650
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 68

Status	unknown
Inferred Status	None
Size	27064
Compressed Size	4648
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 69

Status	unknown
Inferred Status	None
Size	27085
Compressed Size	4652
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 70

Status	unknown
Inferred Status	None
Size	27106
Compressed Size	4650
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 71

Status	unknown
Inferred Status	None
Size	27127
Compressed Size	4651
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 72

Status	unknown
Inferred Status	None
Size	27183
Compressed Size	4660
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 73

Status	unknown
Inferred Status	None
Size	27175
Compressed Size	4658
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 74

Status	unknown
Inferred Status	None
Size	27231
Compressed Size	4666
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 75

Status	unknown
Inferred Status	None
Size	27223
Compressed Size	4661
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 76

Status	unknown
Inferred Status	None
Size	27243
Compressed Size	4662
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 77

Status	unknown
Inferred Status	None
Size	27300
Compressed Size	4670
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	7	Bool	31	not	10	and	9
=>	4	=	62

Query 78

Status	unknown
Inferred Status	None
Size	23620
Compressed Size	4383
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	39

Query 79

Status	unknown
Inferred Status	None
Size	23677
Compressed Size	4396
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	39

Query 80

Status	unknown
Inferred Status	None
Size	23629
Compressed Size	4386
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 81

Status	unknown
Inferred Status	None
Size	23650
Compressed Size	4389
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 82

Status	unknown
Inferred Status	None
Size	23669
Compressed Size	4392
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 83

Status	unknown
Inferred Status	None
Size	23690
Compressed Size	4394
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 84

Status	unknown
Inferred Status	None
Size	23745
Compressed Size	4403
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 85

Status	unknown
Inferred Status	None
Size	23683
Compressed Size	4395
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 86

Status	unknown
Inferred Status	None
Size	23703
Compressed Size	4398
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 87

Status	unknown
Inferred Status	None
Size	23758
Compressed Size	4409
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 88

Status	unknown
Inferred Status	None
Size	23698
Compressed Size	4396
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 89

Status	unknown
Inferred Status	None
Size	23719
Compressed Size	4400
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 90

Status	unknown
Inferred Status	None
Size	23774
Compressed Size	4413
Max. Term Depth	11
Asserts	16
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 91

Status	unknown
Inferred Status	None
Size	23678
Compressed Size	4393
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 92

Status	unknown
Inferred Status	None
Size	23733
Compressed Size	4404
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 93

Status	unknown
Inferred Status	None
Size	23694
Compressed Size	4394
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 94

Status	unknown
Inferred Status	None
Size	23714
Compressed Size	4397
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 95

Status	unknown
Inferred Status	None
Size	23734
Compressed Size	4398
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 96

Status	unknown
Inferred Status	None
Size	23754
Compressed Size	4400
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 97

Status	unknown
Inferred Status	None
Size	23809
Compressed Size	4412
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 98

Status	unknown
Inferred Status	None
Size	23709
Compressed Size	4398
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 99

Status	unknown
Inferred Status	None
Size	23730
Compressed Size	4399
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40

Query 100

Status	unknown
Inferred Status	None
Size	23749
Compressed Size	4402
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	301
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	10	and	7
=>	2	=	40