Benchmark

incremental/UF/20190906-CLEARSY/0012/00086.smt2

Benchmark without description.

Benchmark
Size	52002
Compressed Size	7591
License	Creative Commons Attribution Non Commercial 4.0 International (CC-BY-NC-4.0)
Category	industrial
First Occurrence	2020-07-06
Generated By	David Deharbe, CLEARSY
Generated On	2019-09-09 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	59

Query 1

Status	unknown
Inferred Status	None
Size	33555
Compressed Size	5955
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	97	forall	1

Query 2

Status	unknown
Inferred Status	None
Size	33565
Compressed Size	5961
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	97	forall	1

Query 3

Status	unknown
Inferred Status	None
Size	33585
Compressed Size	5964
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	97	forall	1

Query 4

Status	unknown
Inferred Status	None
Size	33676
Compressed Size	5976
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	97	forall	1

Query 5

Status	unknown
Inferred Status	None
Size	33638
Compressed Size	5971
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	97	forall	1

Query 6

Status	unknown
Inferred Status	None
Size	33663
Compressed Size	5971
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	97	forall	1

Query 7

Status	unknown
Inferred Status	None
Size	33771
Compressed Size	6003
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	2	=	97	forall	1

Query 8

Status	unknown
Inferred Status	None
Size	33534
Compressed Size	5950
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 9

Status	unknown
Inferred Status	None
Size	33862
Compressed Size	6039
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	14	=>	2	=	102	forall	1

Query 10

Status	unknown
Inferred Status	None
Size	33902
Compressed Size	6048
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	14	=>	2	=	102	forall	1

Query 11

Status	unknown
Inferred Status	None
Size	33911
Compressed Size	6050
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	15	=>	2	=	102	forall	1

Query 12

Status	unknown
Inferred Status	None
Size	33983
Compressed Size	6063
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	15	=>	2	=	102	forall	1

Query 13

Status	unknown
Inferred Status	None
Size	33912
Compressed Size	6048
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	14	=>	2	=	103	forall	1

Query 14

Status	unknown
Inferred Status	None
Size	33952
Compressed Size	6055
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	14	=>	2	=	103	forall	1

Query 15

Status	unknown
Inferred Status	None
Size	33961
Compressed Size	6058
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	15	=>	2	=	103	forall	1

Query 16

Status	unknown
Inferred Status	None
Size	34033
Compressed Size	6071
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	13	or	1
and	15	=>	2	=	103	forall	1

Query 17

Status	unknown
Inferred Status	None
Size	33579
Compressed Size	5957
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 18

Status	unknown
Inferred Status	None
Size	33855
Compressed Size	6040
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	11	or	1
and	14	=>	2	=	102	forall	1

Query 19

Status	unknown
Inferred Status	None
Size	33895
Compressed Size	6049
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	11	or	1
and	14	=>	2	=	102	forall	1

Query 20

Status	unknown
Inferred Status	None
Size	33904
Compressed Size	6048
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	11	or	1
and	15	=>	2	=	102	forall	1

Query 21

Status	unknown
Inferred Status	None
Size	33976
Compressed Size	6063
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	11	or	1
and	15	=>	2	=	102	forall	1

Query 22

Status	unknown
Inferred Status	None
Size	33830
Compressed Size	6027
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	13	=>	2	=	99	forall	1

Query 23

Status	unknown
Inferred Status	None
Size	33902
Compressed Size	6043
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	13	=>	2	=	99	forall	1

Query 24

Status	unknown
Inferred Status	None
Size	33759
Compressed Size	6014
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	13	=>	2	=	99	forall	1

Query 25

Status	unknown
Inferred Status	None
Size	33831
Compressed Size	6029
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	13	=>	2	=	99	forall	1

Query 26

Status	unknown
Inferred Status	None
Size	33693
Compressed Size	5971
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 27

Status	unknown
Inferred Status	None
Size	33657
Compressed Size	5964
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 28

Status	unknown
Inferred Status	None
Size	33705
Compressed Size	5980
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 29

Status	unknown
Inferred Status	None
Size	33778
Compressed Size	5990
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 30

Status	unknown
Inferred Status	None
Size	33687
Compressed Size	5973
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 31

Status	unknown
Inferred Status	None
Size	34124
Compressed Size	6064
Max. Term Depth	19
Asserts	15
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	15	=>	1	=	98	forall	1

Query 32

Status	unknown
Inferred Status	None
Size	34096
Compressed Size	6070
Max. Term Depth	19
Asserts	15
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	15	=>	1	=	98	forall	1

Query 33

Status	unknown
Inferred Status	None
Size	34255
Compressed Size	6099
Max. Term Depth	19
Asserts	15
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	15	=>	2	=	98	forall	1

Query 34

Status	unknown
Inferred Status	None
Size	35274
Compressed Size	6220
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	10	or	1
and	15	=>	2	=	97	forall	1

Query 35

Status	unknown
Inferred Status	None
Size	35269
Compressed Size	6219
Max. Term Depth	19
Asserts	9
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	10	or	1
and	15	=>	2	=	97	forall	1

Query 36

Status	unknown
Inferred Status	None
Size	33837
Compressed Size	6016
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	98	forall	1

Query 37

Status	unknown
Inferred Status	None
Size	33830
Compressed Size	6010
Max. Term Depth	19
Asserts	13
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	98	forall	1

Query 38

Status	unknown
Inferred Status	None
Size	33888
Compressed Size	6025
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	99	forall	1

Query 39

Status	unknown
Inferred Status	None
Size	33881
Compressed Size	6018
Max. Term Depth	19
Asserts	14
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	99	forall	1

Query 40

Status	unknown
Inferred Status	None
Size	33952
Compressed Size	6052
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	11	or	1
and	13	=>	2	=	98	forall	1

Query 41

Status	unknown
Inferred Status	None
Size	33949
Compressed Size	6043
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	13	=>	2	=	97	forall	1

Query 42

Status	unknown
Inferred Status	None
Size	33944
Compressed Size	6040
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	13	=>	2	=	97	forall	1

Query 43

Status	unknown
Inferred Status	None
Size	34058
Compressed Size	6074
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	13	=>	2	=	97	forall	1

Query 44

Status	unknown
Inferred Status	None
Size	33900
Compressed Size	6028
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	2	=	97	forall	1

Query 45

Status	unknown
Inferred Status	None
Size	33895
Compressed Size	6028
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	2	=	97	forall	1

Query 46

Status	unknown
Inferred Status	None
Size	34042
Compressed Size	6044
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	15	=>	3	=	98	forall	2

Query 47

Status	unknown
Inferred Status	None
Size	34037
Compressed Size	6043
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	15	=>	3	=	98	forall	2

Query 48

Status	unknown
Inferred Status	None
Size	34059
Compressed Size	6066
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	10	or	1
and	15	=>	2	=	97	forall	1

Query 49

Status	unknown
Inferred Status	None
Size	34065
Compressed Size	6068
Max. Term Depth	19
Asserts	11
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	10	or	1
and	15	=>	2	=	97	forall	1

Query 50

Status	unknown
Inferred Status	None
Size	34137
Compressed Size	6080
Max. Term Depth	19
Asserts	15
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	99	forall	1

Query 51

Status	unknown
Inferred Status	None
Size	34143
Compressed Size	6079
Max. Term Depth	19
Asserts	15
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	1	=	99	forall	1

Query 52

Status	unknown
Inferred Status	None
Size	34187
Compressed Size	6083
Max. Term Depth	19
Asserts	15
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	2	=	99	forall	1

Query 53

Status	unknown
Inferred Status	None
Size	34182
Compressed Size	6082
Max. Term Depth	19
Asserts	15
Declared Functions	125
Declared Constants	409
Declared Sorts	1
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	10	or	1
and	14	=>	2	=	99	forall	1

Query 54

Status	unknown
Inferred Status	None
Size	33879
Compressed Size	6012
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 55

Status	unknown
Inferred Status	None
Size	33920
Compressed Size	6022
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 56

Status	unknown
Inferred Status	None
Size	33895
Compressed Size	6013
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 57

Status	unknown
Inferred Status	None
Size	33936
Compressed Size	6024
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 58

Status	unknown
Inferred Status	None
Size	33932
Compressed Size	6022
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1

Query 59

Status	unknown
Inferred Status	None
Size	33931
Compressed Size	6018
Max. Term Depth	19
Asserts	12
Declared Functions	125
Declared Constants	409
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	or	1
and	13	=>	1	=	97	forall	1