Benchmark

incremental/UFNIA/20190906-CLEARSY/0000/00288.smt2

Benchmark without description.

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

Query 1

Status	unknown
Inferred Status	None
Size	186883
Compressed Size	25943
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 2

Status	unknown
Inferred Status	None
Size	186955
Compressed Size	25957
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 3

Status	unknown
Inferred Status	None
Size	186974
Compressed Size	25959
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 4

Status	unknown
Inferred Status	None
Size	186993
Compressed Size	25961
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 5

Status	unknown
Inferred Status	None
Size	187064
Compressed Size	25963
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 6

Status	unknown
Inferred Status	None
Size	187395
Compressed Size	25969
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 7

Status	unknown
Inferred Status	None
Size	187414
Compressed Size	25969
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 8

Status	unknown
Inferred Status	None
Size	187433
Compressed Size	25971
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 9

Status	unknown
Inferred Status	None
Size	187452
Compressed Size	25972
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 10

Status	unknown
Inferred Status	None
Size	187472
Compressed Size	25978
Max. Term Depth	34
Asserts	12
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 11

Status	unknown
Inferred Status	None
Size	194666
Compressed Size	26865
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
exists	1	Int	6	div	1	+	1
-	10	<	4	<=	3	>	1
>=	16

Query 12

Status	unknown
Inferred Status	None
Size	194654
Compressed Size	26847
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 13

Status	unknown
Inferred Status	None
Size	194669
Compressed Size	26852
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 14

Status	unknown
Inferred Status	None
Size	194688
Compressed Size	26855
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 15

Status	unknown
Inferred Status	None
Size	194716
Compressed Size	26858
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 16

Status	unknown
Inferred Status	None
Size	194851
Compressed Size	26881
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 17

Status	unknown
Inferred Status	None
Size	195054
Compressed Size	26908
Max. Term Depth	34
Asserts	10
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	131
Declared Datatypes	0

Symbols

true	5	Bool	131	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 18

Status	unknown
Inferred Status	None
Size	202892
Compressed Size	28132
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	236
Declared Datatypes	0

Symbols

true	5	Bool	236	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	2	-	11
<	4	<=	3	>	1	>=	16

Query 19

Status	unknown
Inferred Status	None
Size	202874
Compressed Size	28166
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	236
Declared Datatypes	0

Symbols

true	5	Bool	236	not	77	or	2
and	21	=>	14	=	951	forall	5
exists	1	Int	6	div	1	+	2
-	11	<	4	<=	3	>	1
>=	16

Query 20

Status	unknown
Inferred Status	None
Size	203019
Compressed Size	28180
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	236
Declared Datatypes	0

Symbols

true	5	Bool	236	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	2	-	11
<	4	<=	3	>	1	>=	16

Query 21

Status	unknown
Inferred Status	None
Size	203258
Compressed Size	28200
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	236
Declared Datatypes	0

Symbols

true	5	Bool	236	not	77	or	2
and	21	=>	14	=	951	forall	5
Int	5	div	1	+	2	-	11
<	4	<=	3	>	1	>=	16

Query 22

Status	unknown
Inferred Status	None
Size	186960
Compressed Size	25981
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
exists	1	Int	6	div	1	+	1
-	10	<	4	<=	3	>	1
>=	16

Query 23

Status	unknown
Inferred Status	None
Size	186947
Compressed Size	25971
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 24

Status	unknown
Inferred Status	None
Size	186967
Compressed Size	25970
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 25

Status	unknown
Inferred Status	None
Size	187143
Compressed Size	25984
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 26

Status	unknown
Inferred Status	None
Size	187382
Compressed Size	25993
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	5	Bool	12	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 27

Status	unknown
Inferred Status	None
Size	191360
Compressed Size	26451
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 28

Status	unknown
Inferred Status	None
Size	187093
Compressed Size	26012
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 29

Status	unknown
Inferred Status	None
Size	187108
Compressed Size	26017
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 30

Status	unknown
Inferred Status	None
Size	187123
Compressed Size	26018
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 31

Status	unknown
Inferred Status	None
Size	187138
Compressed Size	26019
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 32

Status	unknown
Inferred Status	None
Size	187153
Compressed Size	26020
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 33

Status	unknown
Inferred Status	None
Size	187170
Compressed Size	26026
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 34

Status	unknown
Inferred Status	None
Size	187186
Compressed Size	26026
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 35

Status	unknown
Inferred Status	None
Size	187202
Compressed Size	26029
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 36

Status	unknown
Inferred Status	None
Size	187545
Compressed Size	26072
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	5	Bool	19	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 37

Status	unknown
Inferred Status	None
Size	187575
Compressed Size	26076
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	5	Bool	19	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 38

Status	unknown
Inferred Status	None
Size	187595
Compressed Size	26077
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	5	Bool	19	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 39

Status	unknown
Inferred Status	None
Size	187615
Compressed Size	26079
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	5	Bool	19	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 40

Status	unknown
Inferred Status	None
Size	187635
Compressed Size	26078
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	5	Bool	19	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 41

Status	unknown
Inferred Status	None
Size	187833
Compressed Size	26111
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	5	Bool	19	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 42

Status	unknown
Inferred Status	None
Size	187225
Compressed Size	26030
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 43

Status	unknown
Inferred Status	None
Size	187241
Compressed Size	26033
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 44

Status	unknown
Inferred Status	None
Size	187257
Compressed Size	26036
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 45

Status	unknown
Inferred Status	None
Size	187273
Compressed Size	26038
Max. Term Depth	34
Asserts	14
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	5	Bool	13	not	69	or	1
and	10	=>	7	=	923	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 46

Status	unknown
Inferred Status	None
Size	193075
Compressed Size	26712
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 47

Status	unknown
Inferred Status	None
Size	193114
Compressed Size	26716
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	10	=>	6	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 48

Status	unknown
Inferred Status	None
Size	193136
Compressed Size	26731
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 49

Status	unknown
Inferred Status	None
Size	193175
Compressed Size	26737
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 50

Status	unknown
Inferred Status	None
Size	193186
Compressed Size	26747
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 51

Status	unknown
Inferred Status	None
Size	193225
Compressed Size	26747
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 52

Status	unknown
Inferred Status	None
Size	193236
Compressed Size	26758
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 53

Status	unknown
Inferred Status	None
Size	193275
Compressed Size	26760
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 54

Status	unknown
Inferred Status	None
Size	193286
Compressed Size	26770
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 55

Status	unknown
Inferred Status	None
Size	193326
Compressed Size	26776
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 56

Status	unknown
Inferred Status	None
Size	193340
Compressed Size	26784
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 57

Status	unknown
Inferred Status	None
Size	193379
Compressed Size	26786
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 58

Status	unknown
Inferred Status	None
Size	193394
Compressed Size	26793
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 59

Status	unknown
Inferred Status	None
Size	193433
Compressed Size	26798
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 60

Status	unknown
Inferred Status	None
Size	193448
Compressed Size	26801
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 61

Status	unknown
Inferred Status	None
Size	193487
Compressed Size	26803
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 62

Status	unknown
Inferred Status	None
Size	193502
Compressed Size	26809
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 63

Status	unknown
Inferred Status	None
Size	193541
Compressed Size	26812
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 64

Status	unknown
Inferred Status	None
Size	193556
Compressed Size	26821
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 65

Status	unknown
Inferred Status	None
Size	193595
Compressed Size	26825
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 66

Status	unknown
Inferred Status	None
Size	193610
Compressed Size	26827
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 67

Status	unknown
Inferred Status	None
Size	193649
Compressed Size	26829
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 68

Status	unknown
Inferred Status	None
Size	193664
Compressed Size	26832
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 69

Status	unknown
Inferred Status	None
Size	193703
Compressed Size	26837
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 70

Status	unknown
Inferred Status	None
Size	193718
Compressed Size	26840
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 71

Status	unknown
Inferred Status	None
Size	193757
Compressed Size	26840
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 72

Status	unknown
Inferred Status	None
Size	193772
Compressed Size	26842
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 73

Status	unknown
Inferred Status	None
Size	193811
Compressed Size	26846
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 74

Status	unknown
Inferred Status	None
Size	193826
Compressed Size	26848
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 75

Status	unknown
Inferred Status	None
Size	193865
Compressed Size	26850
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 76

Status	unknown
Inferred Status	None
Size	193879
Compressed Size	26855
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 77

Status	unknown
Inferred Status	None
Size	193919
Compressed Size	26857
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 78

Status	unknown
Inferred Status	None
Size	193933
Compressed Size	26861
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 79

Status	unknown
Inferred Status	None
Size	193973
Compressed Size	26862
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 80

Status	unknown
Inferred Status	None
Size	193987
Compressed Size	26866
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 81

Status	unknown
Inferred Status	None
Size	194027
Compressed Size	26869
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 82

Status	unknown
Inferred Status	None
Size	194041
Compressed Size	26872
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 83

Status	unknown
Inferred Status	None
Size	194081
Compressed Size	26876
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 84

Status	unknown
Inferred Status	None
Size	194095
Compressed Size	26877
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 85

Status	unknown
Inferred Status	None
Size	194135
Compressed Size	26880
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 86

Status	unknown
Inferred Status	None
Size	194149
Compressed Size	26883
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 87

Status	unknown
Inferred Status	None
Size	194189
Compressed Size	26887
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 88

Status	unknown
Inferred Status	None
Size	194203
Compressed Size	26890
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 89

Status	unknown
Inferred Status	None
Size	194261
Compressed Size	26893
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 90

Status	unknown
Inferred Status	None
Size	194257
Compressed Size	26896
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 91

Status	unknown
Inferred Status	None
Size	194297
Compressed Size	26902
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 92

Status	unknown
Inferred Status	None
Size	194311
Compressed Size	26904
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 93

Status	unknown
Inferred Status	None
Size	194351
Compressed Size	26905
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 94

Status	unknown
Inferred Status	None
Size	194365
Compressed Size	26908
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 95

Status	unknown
Inferred Status	None
Size	194405
Compressed Size	26909
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 96

Status	unknown
Inferred Status	None
Size	194419
Compressed Size	26914
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 97

Status	unknown
Inferred Status	None
Size	194459
Compressed Size	26917
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 98

Status	unknown
Inferred Status	None
Size	194473
Compressed Size	26920
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 99

Status	unknown
Inferred Status	None
Size	194513
Compressed Size	26922
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16

Query 100

Status	unknown
Inferred Status	None
Size	194527
Compressed Size	26927
Max. Term Depth	34
Asserts	13
Declared Functions	625
Declared Constants	2828
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	128
Declared Datatypes	0

Symbols

true	5	Bool	128	not	69	or	1
and	11	=>	7	=	921	forall	5
Int	5	div	1	+	1	-	10
<	4	<=	3	>	1	>=	16