Benchmark

incremental/UFNIA/20190909-CLEARSY/0023/00882.smt2

Benchmark without description.

Benchmark
Size	150446
Compressed Size	15765
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	395

Query 1

Status	unknown
Inferred Status	None
Size	57770
Compressed Size	9700
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 2

Status	unknown
Inferred Status	None
Size	57815
Compressed Size	9710
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 3

Status	unknown
Inferred Status	None
Size	57837
Compressed Size	9712
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 4

Status	unknown
Inferred Status	None
Size	57856
Compressed Size	9713
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 5

Status	unknown
Inferred Status	None
Size	57884
Compressed Size	9724
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 6

Status	unknown
Inferred Status	None
Size	57899
Compressed Size	9718
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 7

Status	unknown
Inferred Status	None
Size	57918
Compressed Size	9720
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 8

Status	unknown
Inferred Status	None
Size	57941
Compressed Size	9729
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 9

Status	unknown
Inferred Status	None
Size	57960
Compressed Size	9729
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 10

Status	unknown
Inferred Status	None
Size	57980
Compressed Size	9734
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 11

Status	unknown
Inferred Status	None
Size	57996
Compressed Size	9733
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 12

Status	unknown
Inferred Status	None
Size	58064
Compressed Size	9752
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 13

Status	unknown
Inferred Status	None
Size	58091
Compressed Size	9754
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 14

Status	unknown
Inferred Status	None
Size	58011
Compressed Size	9729
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 15

Status	unknown
Inferred Status	None
Size	58078
Compressed Size	9751
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 16

Status	unknown
Inferred Status	None
Size	58098
Compressed Size	9752
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 17

Status	unknown
Inferred Status	None
Size	58118
Compressed Size	9755
Max. Term Depth	10
Asserts	9
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	185	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 18

Status	unknown
Inferred Status	None
Size	58253
Compressed Size	9827
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	36	or	2
and	11	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 19

Status	unknown
Inferred Status	None
Size	58272
Compressed Size	9830
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	36	or	2
and	11	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 20

Status	unknown
Inferred Status	None
Size	58294
Compressed Size	9833
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	36	or	2
and	11	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 21

Status	unknown
Inferred Status	None
Size	58313
Compressed Size	9832
Max. Term Depth	10
Asserts	13
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	36	or	2
and	11	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 22

Status	unknown
Inferred Status	None
Size	58591
Compressed Size	9879
Max. Term Depth	11
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 23

Status	unknown
Inferred Status	None
Size	58471
Compressed Size	9860
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 24

Status	unknown
Inferred Status	None
Size	58490
Compressed Size	9865
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 25

Status	unknown
Inferred Status	None
Size	58509
Compressed Size	9864
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 26

Status	unknown
Inferred Status	None
Size	58528
Compressed Size	9867
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 27

Status	unknown
Inferred Status	None
Size	58547
Compressed Size	9869
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 28

Status	unknown
Inferred Status	None
Size	58566
Compressed Size	9871
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 29

Status	unknown
Inferred Status	None
Size	58584
Compressed Size	9873
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 30

Status	unknown
Inferred Status	None
Size	58604
Compressed Size	9873
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 31

Status	unknown
Inferred Status	None
Size	58625
Compressed Size	9880
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 32

Status	unknown
Inferred Status	None
Size	58644
Compressed Size	9883
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 33

Status	unknown
Inferred Status	None
Size	58662
Compressed Size	9888
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 34

Status	unknown
Inferred Status	None
Size	58683
Compressed Size	9891
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 35

Status	unknown
Inferred Status	None
Size	58703
Compressed Size	9894
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 36

Status	unknown
Inferred Status	None
Size	58724
Compressed Size	9897
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 37

Status	unknown
Inferred Status	None
Size	58744
Compressed Size	9898
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 38

Status	unknown
Inferred Status	None
Size	58765
Compressed Size	9898
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 39

Status	unknown
Inferred Status	None
Size	58785
Compressed Size	9905
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 40

Status	unknown
Inferred Status	None
Size	58805
Compressed Size	9909
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 41

Status	unknown
Inferred Status	None
Size	58825
Compressed Size	9911
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 42

Status	unknown
Inferred Status	None
Size	58845
Compressed Size	9913
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 43

Status	unknown
Inferred Status	None
Size	58865
Compressed Size	9914
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 44

Status	unknown
Inferred Status	None
Size	58885
Compressed Size	9912
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 45

Status	unknown
Inferred Status	None
Size	58905
Compressed Size	9918
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 46

Status	unknown
Inferred Status	None
Size	58925
Compressed Size	9920
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 47

Status	unknown
Inferred Status	None
Size	58945
Compressed Size	9922
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 48

Status	unknown
Inferred Status	None
Size	58965
Compressed Size	9925
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 49

Status	unknown
Inferred Status	None
Size	58984
Compressed Size	9925
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 50

Status	unknown
Inferred Status	None
Size	59005
Compressed Size	9928
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 51

Status	unknown
Inferred Status	None
Size	59024
Compressed Size	9929
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 52

Status	unknown
Inferred Status	None
Size	59044
Compressed Size	9930
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 53

Status	unknown
Inferred Status	None
Size	59086
Compressed Size	9938
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 54

Status	unknown
Inferred Status	None
Size	59106
Compressed Size	9940
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 55

Status	unknown
Inferred Status	None
Size	59104
Compressed Size	9936
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 56

Status	unknown
Inferred Status	None
Size	59125
Compressed Size	9935
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 57

Status	unknown
Inferred Status	None
Size	59144
Compressed Size	9939
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 58

Status	unknown
Inferred Status	None
Size	59164
Compressed Size	9943
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 59

Status	unknown
Inferred Status	None
Size	59184
Compressed Size	9942
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 60

Status	unknown
Inferred Status	None
Size	59204
Compressed Size	9944
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 61

Status	unknown
Inferred Status	None
Size	59224
Compressed Size	9947
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 62

Status	unknown
Inferred Status	None
Size	59243
Compressed Size	9951
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 63

Status	unknown
Inferred Status	None
Size	59286
Compressed Size	9954
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 64

Status	unknown
Inferred Status	None
Size	59282
Compressed Size	9954
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 65

Status	unknown
Inferred Status	None
Size	59302
Compressed Size	9954
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 66

Status	unknown
Inferred Status	None
Size	59322
Compressed Size	9957
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 67

Status	unknown
Inferred Status	None
Size	59342
Compressed Size	9959
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 68

Status	unknown
Inferred Status	None
Size	59362
Compressed Size	9962
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 69

Status	unknown
Inferred Status	None
Size	59382
Compressed Size	9965
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 70

Status	unknown
Inferred Status	None
Size	59402
Compressed Size	9966
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 71

Status	unknown
Inferred Status	None
Size	59425
Compressed Size	9969
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 72

Status	unknown
Inferred Status	None
Size	59445
Compressed Size	9970
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 73

Status	unknown
Inferred Status	None
Size	59465
Compressed Size	9971
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 74

Status	unknown
Inferred Status	None
Size	59485
Compressed Size	9972
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 75

Status	unknown
Inferred Status	None
Size	59457
Compressed Size	9962
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 76

Status	unknown
Inferred Status	None
Size	59477
Compressed Size	9958
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 77

Status	unknown
Inferred Status	None
Size	59580
Compressed Size	9985
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 78

Status	unknown
Inferred Status	None
Size	59600
Compressed Size	9985
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 79

Status	unknown
Inferred Status	None
Size	59620
Compressed Size	9989
Max. Term Depth	10
Asserts	20
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	36	or	2
and	10	=>	7	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 80

Status	unknown
Inferred Status	None
Size	57991
Compressed Size	9739
Max. Term Depth	10
Asserts	16
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	2
and	10	=>	6	=	186	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 81

Status	unknown
Inferred Status	None
Size	58247
Compressed Size	9804
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 82

Status	unknown
Inferred Status	None
Size	58266
Compressed Size	9812
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 83

Status	unknown
Inferred Status	None
Size	58285
Compressed Size	9811
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 84

Status	unknown
Inferred Status	None
Size	58304
Compressed Size	9813
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 85

Status	unknown
Inferred Status	None
Size	58323
Compressed Size	9816
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 86

Status	unknown
Inferred Status	None
Size	58342
Compressed Size	9817
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 87

Status	unknown
Inferred Status	None
Size	58368
Compressed Size	9822
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 88

Status	unknown
Inferred Status	None
Size	58380
Compressed Size	9823
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 89

Status	unknown
Inferred Status	None
Size	58401
Compressed Size	9825
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 90

Status	unknown
Inferred Status	None
Size	58419
Compressed Size	9829
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 91

Status	unknown
Inferred Status	None
Size	58438
Compressed Size	9833
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 92

Status	unknown
Inferred Status	None
Size	58466
Compressed Size	9836
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 93

Status	unknown
Inferred Status	None
Size	58486
Compressed Size	9839
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 94

Status	unknown
Inferred Status	None
Size	58499
Compressed Size	9843
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 95

Status	unknown
Inferred Status	None
Size	58519
Compressed Size	9844
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 96

Status	unknown
Inferred Status	None
Size	58550
Compressed Size	9857
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 97

Status	unknown
Inferred Status	None
Size	58570
Compressed Size	9856
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 98

Status	unknown
Inferred Status	None
Size	58590
Compressed Size	9860
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 99

Status	unknown
Inferred Status	None
Size	58610
Compressed Size	9863
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36

Query 100

Status	unknown
Inferred Status	None
Size	58630
Compressed Size	9864
Max. Term Depth	10
Asserts	17
Declared Functions	115
Declared Constants	765
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	36	or	3
and	11	=>	6	=	187	forall	4
Int	5	+	6	-	3	*	3
<	5	<=	21	>	7	>=	36