Benchmark

incremental/QF_UF/20190906-CLEARSY/0012/00082.smt2

Benchmark without description.

Benchmark
Size	59183
Compressed Size	6432
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	116

Query 1

Status	unknown
Inferred Status	None
Size	26741
Compressed Size	5010
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 2

Status	unknown
Inferred Status	None
Size	26830
Compressed Size	5023
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 3

Status	unknown
Inferred Status	None
Size	26857
Compressed Size	5027
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 4

Status	unknown
Inferred Status	None
Size	26876
Compressed Size	5034
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 5

Status	unknown
Inferred Status	None
Size	26895
Compressed Size	5036
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 6

Status	unknown
Inferred Status	None
Size	26914
Compressed Size	5039
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 7

Status	unknown
Inferred Status	None
Size	26933
Compressed Size	5040
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 8

Status	unknown
Inferred Status	None
Size	26984
Compressed Size	5040
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 9

Status	unknown
Inferred Status	None
Size	26943
Compressed Size	5034
Max. Term Depth	11
Asserts	9
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 10

Status	unknown
Inferred Status	None
Size	26843
Compressed Size	5029
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 11

Status	unknown
Inferred Status	None
Size	26877
Compressed Size	5033
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 12

Status	unknown
Inferred Status	None
Size	26931
Compressed Size	5047
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 13

Status	unknown
Inferred Status	None
Size	26946
Compressed Size	5048
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 14

Status	unknown
Inferred Status	None
Size	27042
Compressed Size	5075
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 15

Status	unknown
Inferred Status	None
Size	27083
Compressed Size	5082
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 16

Status	unknown
Inferred Status	None
Size	26910
Compressed Size	5039
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 17

Status	unknown
Inferred Status	None
Size	26944
Compressed Size	5048
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 18

Status	unknown
Inferred Status	None
Size	27158
Compressed Size	5093
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 19

Status	unknown
Inferred Status	None
Size	26957
Compressed Size	5046
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 20

Status	unknown
Inferred Status	None
Size	27028
Compressed Size	5064
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 21

Status	unknown
Inferred Status	None
Size	27094
Compressed Size	5074
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 22

Status	unknown
Inferred Status	None
Size	27140
Compressed Size	5084
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 23

Status	unknown
Inferred Status	None
Size	27126
Compressed Size	5077
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 24

Status	unknown
Inferred Status	None
Size	27172
Compressed Size	5093
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 25

Status	unknown
Inferred Status	None
Size	27158
Compressed Size	5086
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 26

Status	unknown
Inferred Status	None
Size	27204
Compressed Size	5102
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 27

Status	unknown
Inferred Status	None
Size	27190
Compressed Size	5094
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 28

Status	unknown
Inferred Status	None
Size	27236
Compressed Size	5108
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 29

Status	unknown
Inferred Status	None
Size	27222
Compressed Size	5110
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 30

Status	unknown
Inferred Status	None
Size	27268
Compressed Size	5114
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 31

Status	unknown
Inferred Status	None
Size	27254
Compressed Size	5104
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 32

Status	unknown
Inferred Status	None
Size	27300
Compressed Size	5118
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 33

Status	unknown
Inferred Status	None
Size	27286
Compressed Size	5118
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 34

Status	unknown
Inferred Status	None
Size	27332
Compressed Size	5122
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 35

Status	unknown
Inferred Status	None
Size	27318
Compressed Size	5122
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 36

Status	unknown
Inferred Status	None
Size	27364
Compressed Size	5125
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 37

Status	unknown
Inferred Status	None
Size	27350
Compressed Size	5127
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 38

Status	unknown
Inferred Status	None
Size	27396
Compressed Size	5128
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 39

Status	unknown
Inferred Status	None
Size	27382
Compressed Size	5131
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 40

Status	unknown
Inferred Status	None
Size	27428
Compressed Size	5132
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 41

Status	unknown
Inferred Status	None
Size	27414
Compressed Size	5133
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 42

Status	unknown
Inferred Status	None
Size	27460
Compressed Size	5135
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 43

Status	unknown
Inferred Status	None
Size	27486
Compressed Size	5143
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 44

Status	unknown
Inferred Status	None
Size	27481
Compressed Size	5136
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 45

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

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 46

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

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 47

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

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 48

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

Symbols

true	6	Bool	10	not	10	and	13
=	94

Query 49

Status	unknown
Inferred Status	None
Size	27480
Compressed Size	5138
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 50

Status	unknown
Inferred Status	None
Size	27504
Compressed Size	5147
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 51

Status	unknown
Inferred Status	None
Size	27467
Compressed Size	5136
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 52

Status	unknown
Inferred Status	None
Size	27462
Compressed Size	5129
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 53

Status	unknown
Inferred Status	None
Size	27512
Compressed Size	5140
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 54

Status	unknown
Inferred Status	None
Size	27538
Compressed Size	5145
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 55

Status	unknown
Inferred Status	None
Size	27533
Compressed Size	5139
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 56

Status	unknown
Inferred Status	None
Size	27588
Compressed Size	5158
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 57

Status	unknown
Inferred Status	None
Size	27499
Compressed Size	5140
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 58

Status	unknown
Inferred Status	None
Size	27494
Compressed Size	5133
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 59

Status	unknown
Inferred Status	None
Size	27544
Compressed Size	5143
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 60

Status	unknown
Inferred Status	None
Size	27570
Compressed Size	5148
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 61

Status	unknown
Inferred Status	None
Size	27565
Compressed Size	5143
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 62

Status	unknown
Inferred Status	None
Size	27620
Compressed Size	5162
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 63

Status	unknown
Inferred Status	None
Size	27531
Compressed Size	5143
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 64

Status	unknown
Inferred Status	None
Size	27526
Compressed Size	5138
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 65

Status	unknown
Inferred Status	None
Size	27576
Compressed Size	5147
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 66

Status	unknown
Inferred Status	None
Size	27602
Compressed Size	5152
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 67

Status	unknown
Inferred Status	None
Size	27597
Compressed Size	5145
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 68

Status	unknown
Inferred Status	None
Size	27652
Compressed Size	5165
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 69

Status	unknown
Inferred Status	None
Size	27563
Compressed Size	5148
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 70

Status	unknown
Inferred Status	None
Size	27558
Compressed Size	5142
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 71

Status	unknown
Inferred Status	None
Size	27608
Compressed Size	5152
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 72

Status	unknown
Inferred Status	None
Size	27634
Compressed Size	5157
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 73

Status	unknown
Inferred Status	None
Size	27629
Compressed Size	5150
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 74

Status	unknown
Inferred Status	None
Size	27684
Compressed Size	5170
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 75

Status	unknown
Inferred Status	None
Size	27595
Compressed Size	5152
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 76

Status	unknown
Inferred Status	None
Size	27590
Compressed Size	5145
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 77

Status	unknown
Inferred Status	None
Size	27640
Compressed Size	5156
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 78

Status	unknown
Inferred Status	None
Size	27666
Compressed Size	5161
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 79

Status	unknown
Inferred Status	None
Size	27661
Compressed Size	5153
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 80

Status	unknown
Inferred Status	None
Size	27716
Compressed Size	5174
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 81

Status	unknown
Inferred Status	None
Size	27627
Compressed Size	5157
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 82

Status	unknown
Inferred Status	None
Size	27622
Compressed Size	5149
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 83

Status	unknown
Inferred Status	None
Size	27672
Compressed Size	5160
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 84

Status	unknown
Inferred Status	None
Size	27698
Compressed Size	5166
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 85

Status	unknown
Inferred Status	None
Size	27693
Compressed Size	5157
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 86

Status	unknown
Inferred Status	None
Size	27748
Compressed Size	5179
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 87

Status	unknown
Inferred Status	None
Size	27659
Compressed Size	5162
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 88

Status	unknown
Inferred Status	None
Size	27654
Compressed Size	5153
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 89

Status	unknown
Inferred Status	None
Size	27704
Compressed Size	5165
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 90

Status	unknown
Inferred Status	None
Size	27730
Compressed Size	5171
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 91

Status	unknown
Inferred Status	None
Size	27725
Compressed Size	5162
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 92

Status	unknown
Inferred Status	None
Size	27780
Compressed Size	5182
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 93

Status	unknown
Inferred Status	None
Size	27691
Compressed Size	5164
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 94

Status	unknown
Inferred Status	None
Size	27686
Compressed Size	5157
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 95

Status	unknown
Inferred Status	None
Size	27736
Compressed Size	5168
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 96

Status	unknown
Inferred Status	None
Size	27762
Compressed Size	5174
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 97

Status	unknown
Inferred Status	None
Size	27757
Compressed Size	5166
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 98

Status	unknown
Inferred Status	None
Size	27812
Compressed Size	5186
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 99

Status	unknown
Inferred Status	None
Size	27723
Compressed Size	5171
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94

Query 100

Status	unknown
Inferred Status	None
Size	27718
Compressed Size	5161
Max. Term Depth	11
Asserts	12
Declared Functions	125
Declared Constants	324
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	10	and	12
=	94