Benchmark

incremental/QF_UF/20190906-CLEARSY/0016/00591.smt2

Benchmark without description.

Benchmark
Size	78175
Compressed Size	10207
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	69

Query 1

Status	unknown
Inferred Status	None
Size	48916
Compressed Size	8012
Max. Term Depth	11
Asserts	10
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	124

Query 2

Status	unknown
Inferred Status	None
Size	48975
Compressed Size	8019
Max. Term Depth	11
Asserts	10
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	124

Query 3

Status	unknown
Inferred Status	None
Size	48994
Compressed Size	8019
Max. Term Depth	11
Asserts	10
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	124

Query 4

Status	unknown
Inferred Status	None
Size	48975
Compressed Size	8029
Max. Term Depth	11
Asserts	10
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	124

Query 5

Status	unknown
Inferred Status	None
Size	51661
Compressed Size	8339
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	6
=	123

Query 6

Status	unknown
Inferred Status	None
Size	51748
Compressed Size	8390
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 7

Status	unknown
Inferred Status	None
Size	51821
Compressed Size	8408
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 8

Status	unknown
Inferred Status	None
Size	51894
Compressed Size	8425
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 9

Status	unknown
Inferred Status	None
Size	51967
Compressed Size	8442
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 10

Status	unknown
Inferred Status	None
Size	52077
Compressed Size	8477
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 11

Status	unknown
Inferred Status	None
Size	52150
Compressed Size	8481
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 12

Status	unknown
Inferred Status	None
Size	52169
Compressed Size	8478
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 13

Status	unknown
Inferred Status	None
Size	52188
Compressed Size	8479
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 14

Status	unknown
Inferred Status	None
Size	52208
Compressed Size	8488
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 15

Status	unknown
Inferred Status	None
Size	52204
Compressed Size	8487
Max. Term Depth	11
Asserts	13
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	59
Declared Datatypes	0

Symbols

true	6	Bool	59	not	41	and	7
=>	1	=	123

Query 16

Status	unknown
Inferred Status	None
Size	48856
Compressed Size	8019
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	125

Query 17

Status	unknown
Inferred Status	None
Size	48828
Compressed Size	8008
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 18

Status	unknown
Inferred Status	None
Size	48793
Compressed Size	7999
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 19

Status	unknown
Inferred Status	None
Size	48909
Compressed Size	8026
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	126

Query 20

Status	unknown
Inferred Status	None
Size	48914
Compressed Size	8005
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	125

Query 21

Status	unknown
Inferred Status	None
Size	48941
Compressed Size	8023
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	125

Query 22

Status	unknown
Inferred Status	None
Size	49014
Compressed Size	8040
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	126

Query 23

Status	unknown
Inferred Status	None
Size	48998
Compressed Size	8035
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	126

Query 24

Status	unknown
Inferred Status	None
Size	48832
Compressed Size	7986
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	124

Query 25

Status	unknown
Inferred Status	None
Size	48908
Compressed Size	8017
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 26

Status	unknown
Inferred Status	None
Size	48835
Compressed Size	8003
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	124

Query 27

Status	unknown
Inferred Status	None
Size	48873
Compressed Size	8009
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 28

Status	unknown
Inferred Status	None
Size	48918
Compressed Size	8019
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 29

Status	unknown
Inferred Status	None
Size	48885
Compressed Size	8012
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 30

Status	unknown
Inferred Status	None
Size	49002
Compressed Size	8040
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	126

Query 31

Status	unknown
Inferred Status	None
Size	49008
Compressed Size	8022
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	125

Query 32

Status	unknown
Inferred Status	None
Size	49036
Compressed Size	8037
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	125

Query 33

Status	unknown
Inferred Status	None
Size	49110
Compressed Size	8057
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	126

Query 34

Status	unknown
Inferred Status	None
Size	49095
Compressed Size	8050
Max. Term Depth	11
Asserts	15
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	41	and	7
=>	1	=	126

Query 35

Status	unknown
Inferred Status	None
Size	48927
Compressed Size	8007
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	124

Query 36

Status	unknown
Inferred Status	None
Size	49004
Compressed Size	8034
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 37

Status	unknown
Inferred Status	None
Size	48931
Compressed Size	8023
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	124

Query 38

Status	unknown
Inferred Status	None
Size	48970
Compressed Size	8030
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	41	and	7
=>	1	=	125

Query 39

Status	unknown
Inferred Status	None
Size	48905
Compressed Size	8013
Max. Term Depth	11
Asserts	14
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	41	and	7
=>	1	=	125

Query 40

Status	unknown
Inferred Status	None
Size	48841
Compressed Size	8009
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	41	and	7
=>	1	=	123

Query 41

Status	unknown
Inferred Status	None
Size	48853
Compressed Size	8013
Max. Term Depth	11
Asserts	11
Declared Functions	125
Declared Constants	851
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	41	and	7
=>	1	=	123

Query 42

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 43

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 44

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 45

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 46

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 47

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 48

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 49

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 50

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 51

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 52

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 53

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 54

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 55

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 56

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 57

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 58

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 59

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 60

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 61

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 62

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 63

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 64

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 65

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 66

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 67

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 68

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

Symbols

true	6	Bool	12	not	41	and	6
=	123

Query 69

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

Symbols

true	6	Bool	12	not	41	and	6
=	123