Benchmark

incremental/UFNIA/20190906-CLEARSY/0001/00262.smt2

Benchmark without description.

Benchmark
Size	189702
Compressed Size	21673
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	174

Query 1

Status	unknown
Inferred Status	None
Size	107744
Compressed Size	17263
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	29
=>	57	=	680	forall	49	exists	2
Int	72	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 2

Status	unknown
Inferred Status	None
Size	107542
Compressed Size	17227
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 3

Status	unknown
Inferred Status	None
Size	107562
Compressed Size	17224
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 4

Status	unknown
Inferred Status	None
Size	107581
Compressed Size	17227
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 5

Status	unknown
Inferred Status	None
Size	107600
Compressed Size	17230
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 6

Status	unknown
Inferred Status	None
Size	107615
Compressed Size	17228
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 7

Status	unknown
Inferred Status	None
Size	107634
Compressed Size	17231
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 8

Status	unknown
Inferred Status	None
Size	107704
Compressed Size	17241
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 9

Status	unknown
Inferred Status	None
Size	107719
Compressed Size	17246
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 10

Status	unknown
Inferred Status	None
Size	108003
Compressed Size	17277
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	681	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 11

Status	unknown
Inferred Status	None
Size	107987
Compressed Size	17281
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	681	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 12

Status	unknown
Inferred Status	None
Size	107761
Compressed Size	17251
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	24	>	3	>=	14

Query 13

Status	unknown
Inferred Status	None
Size	107810
Compressed Size	17262
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	24	>	3	>=	14

Query 14

Status	unknown
Inferred Status	None
Size	107830
Compressed Size	17261
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	24	>	3	>=	14

Query 15

Status	unknown
Inferred Status	None
Size	107847
Compressed Size	17261
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	680	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	24	>	3	>=	14

Query 16

Status	unknown
Inferred Status	None
Size	107872
Compressed Size	17263
Max. Term Depth	34
Asserts	10
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	39
Declared Datatypes	0

Symbols

true	6	Bool	39	not	70	and	28
=>	57	=	681	forall	49	exists	1
Int	66	div	1	+	5	-	14
<	5	<=	23	>	3	>=	14

Query 17

Status	unknown
Inferred Status	None
Size	105907
Compressed Size	17057
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 18

Status	unknown
Inferred Status	None
Size	105943
Compressed Size	17064
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 19

Status	unknown
Inferred Status	None
Size	105953
Compressed Size	17077
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 20

Status	unknown
Inferred Status	None
Size	105968
Compressed Size	17071
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 21

Status	unknown
Inferred Status	None
Size	106040
Compressed Size	17089
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 22

Status	unknown
Inferred Status	None
Size	106020
Compressed Size	17082
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	688	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 23

Status	unknown
Inferred Status	None
Size	106066
Compressed Size	17093
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	688	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 24

Status	unknown
Inferred Status	None
Size	106085
Compressed Size	17093
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	688	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 25

Status	unknown
Inferred Status	None
Size	106104
Compressed Size	17095
Max. Term Depth	34
Asserts	17
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	71	and	25
=>	48	=	688	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 26

Status	unknown
Inferred Status	None
Size	106149
Compressed Size	17093
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	689	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 27

Status	unknown
Inferred Status	None
Size	106185
Compressed Size	17098
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	689	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 28

Status	unknown
Inferred Status	None
Size	106196
Compressed Size	17111
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	689	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 29

Status	unknown
Inferred Status	None
Size	106211
Compressed Size	17106
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	689	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 30

Status	unknown
Inferred Status	None
Size	106230
Compressed Size	17108
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	689	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 31

Status	unknown
Inferred Status	None
Size	106302
Compressed Size	17125
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	689	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 32

Status	unknown
Inferred Status	None
Size	106282
Compressed Size	17117
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	690	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 33

Status	unknown
Inferred Status	None
Size	106328
Compressed Size	17127
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	690	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 34

Status	unknown
Inferred Status	None
Size	106347
Compressed Size	17128
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	690	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 35

Status	unknown
Inferred Status	None
Size	106367
Compressed Size	17130
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	690	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 36

Status	unknown
Inferred Status	None
Size	106414
Compressed Size	17137
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	690	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 37

Status	unknown
Inferred Status	None
Size	106414
Compressed Size	17135
Max. Term Depth	34
Asserts	18
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	6	Bool	29	not	72	and	25
=>	48	=	690	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 38

Status	unknown
Inferred Status	None
Size	105854
Compressed Size	17045
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	686	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 39

Status	unknown
Inferred Status	None
Size	105890
Compressed Size	17052
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	686	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 40

Status	unknown
Inferred Status	None
Size	105899
Compressed Size	17063
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	686	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 41

Status	unknown
Inferred Status	None
Size	105914
Compressed Size	17058
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	686	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 42

Status	unknown
Inferred Status	None
Size	105986
Compressed Size	17076
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	686	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 43

Status	unknown
Inferred Status	None
Size	105966
Compressed Size	17070
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 44

Status	unknown
Inferred Status	None
Size	106039
Compressed Size	17085
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 45

Status	unknown
Inferred Status	None
Size	106038
Compressed Size	17077
Max. Term Depth	34
Asserts	15
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	72	and	25
=>	48	=	687	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 46

Status	unknown
Inferred Status	None
Size	108117
Compressed Size	17250
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	24
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 47

Status	unknown
Inferred Status	None
Size	108144
Compressed Size	17269
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 48

Status	unknown
Inferred Status	None
Size	108188
Compressed Size	17288
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 49

Status	unknown
Inferred Status	None
Size	108235
Compressed Size	17306
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 50

Status	unknown
Inferred Status	None
Size	108284
Compressed Size	17314
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 51

Status	unknown
Inferred Status	None
Size	108333
Compressed Size	17324
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 52

Status	unknown
Inferred Status	None
Size	108382
Compressed Size	17335
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 53

Status	unknown
Inferred Status	None
Size	108431
Compressed Size	17346
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 54

Status	unknown
Inferred Status	None
Size	108480
Compressed Size	17355
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	14	-	14
<	5	<=	18	>	3	>=	14

Query 55

Status	unknown
Inferred Status	None
Size	108533
Compressed Size	17367
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 56

Status	unknown
Inferred Status	None
Size	108553
Compressed Size	17371
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 57

Status	unknown
Inferred Status	None
Size	108573
Compressed Size	17372
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 58

Status	unknown
Inferred Status	None
Size	108593
Compressed Size	17374
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 59

Status	unknown
Inferred Status	None
Size	108613
Compressed Size	17377
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 60

Status	unknown
Inferred Status	None
Size	108633
Compressed Size	17380
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 61

Status	unknown
Inferred Status	None
Size	108653
Compressed Size	17384
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 62

Status	unknown
Inferred Status	None
Size	108673
Compressed Size	17386
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 63

Status	unknown
Inferred Status	None
Size	108689
Compressed Size	17390
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 64

Status	unknown
Inferred Status	None
Size	108730
Compressed Size	17389
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 65

Status	unknown
Inferred Status	None
Size	109101
Compressed Size	17438
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	693	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 66

Status	unknown
Inferred Status	None
Size	109102
Compressed Size	17440
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	694	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 67

Status	unknown
Inferred Status	None
Size	109567
Compressed Size	17508
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	70	and	25
=>	48	=	695	forall	41	exists	1
Int	55	div	1	+	13	-	14
<	5	<=	18	>	3	>=	14

Query 68

Status	unknown
Inferred Status	None
Size	107213
Compressed Size	17274
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	34
Declared Datatypes	0

Symbols

true	6	Bool	34	not	70	or	1
and	28	=>	49	=	684	forall	42
exists	2	Int	62	div	1	+	5
-	14	<	5	<=	19	>	3
>=	15

Query 69

Status	unknown
Inferred Status	None
Size	106994
Compressed Size	17231
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	34
Declared Datatypes	0

Symbols

true	6	Bool	34	not	70	or	1
and	27	=>	49	=	684	forall	42
exists	1	Int	56	div	1	+	5
-	14	<	5	<=	19	>	3
>=	15

Query 70

Status	unknown
Inferred Status	None
Size	107029
Compressed Size	17239
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	34
Declared Datatypes	0

Symbols

true	6	Bool	34	not	70	or	1
and	27	=>	49	=	684	forall	42
exists	1	Int	56	div	1	+	5
-	14	<	5	<=	20	>	3
>=	15

Query 71

Status	unknown
Inferred Status	None
Size	107077
Compressed Size	17250
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	34
Declared Datatypes	0

Symbols

true	6	Bool	34	not	70	or	1
and	27	=>	49	=	684	forall	42
exists	1	Int	56	div	1	+	5
-	14	<	5	<=	20	>	3
>=	15

Query 72

Status	unknown
Inferred Status	None
Size	107096
Compressed Size	17252
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	34
Declared Datatypes	0

Symbols

true	6	Bool	34	not	70	or	1
and	27	=>	49	=	684	forall	42
exists	1	Int	56	div	1	+	5
-	14	<	5	<=	20	>	3
>=	15

Query 73

Status	unknown
Inferred Status	None
Size	107112
Compressed Size	17249
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	34
Declared Datatypes	0

Symbols

true	6	Bool	34	not	70	or	1
and	27	=>	49	=	684	forall	42
exists	1	Int	56	div	1	+	5
-	14	<	5	<=	20	>	3
>=	15

Query 74

Status	unknown
Inferred Status	None
Size	107136
Compressed Size	17250
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	34
Declared Datatypes	0

Symbols

true	6	Bool	34	not	70	or	1
and	27	=>	49	=	685	forall	42
exists	1	Int	56	div	1	+	5
-	14	<	5	<=	19	>	3
>=	15

Query 75

Status	unknown
Inferred Status	None
Size	106748
Compressed Size	17120
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	26
=>	48	=	678	forall	41	exists	2
Int	61	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 76

Status	unknown
Inferred Status	None
Size	106519
Compressed Size	17081
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 77

Status	unknown
Inferred Status	None
Size	106539
Compressed Size	17083
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 78

Status	unknown
Inferred Status	None
Size	106558
Compressed Size	17084
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 79

Status	unknown
Inferred Status	None
Size	106577
Compressed Size	17088
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 80

Status	unknown
Inferred Status	None
Size	106592
Compressed Size	17086
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 81

Status	unknown
Inferred Status	None
Size	106611
Compressed Size	17090
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 82

Status	unknown
Inferred Status	None
Size	106681
Compressed Size	17104
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 83

Status	unknown
Inferred Status	None
Size	106696
Compressed Size	17106
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 84

Status	unknown
Inferred Status	None
Size	106980
Compressed Size	17134
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	679	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 85

Status	unknown
Inferred Status	None
Size	106964
Compressed Size	17134
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	679	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 86

Status	unknown
Inferred Status	None
Size	106738
Compressed Size	17105
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	19	>	3	>=	14

Query 87

Status	unknown
Inferred Status	None
Size	106787
Compressed Size	17115
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	19	>	3	>=	14

Query 88

Status	unknown
Inferred Status	None
Size	106807
Compressed Size	17117
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	19	>	3	>=	14

Query 89

Status	unknown
Inferred Status	None
Size	106824
Compressed Size	17119
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	19	>	3	>=	14

Query 90

Status	unknown
Inferred Status	None
Size	106849
Compressed Size	17117
Max. Term Depth	34
Asserts	13
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	6	Bool	33	not	70	and	25
=>	48	=	679	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 91

Status	unknown
Inferred Status	None
Size	105303
Compressed Size	16907
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 92

Status	unknown
Inferred Status	None
Size	105350
Compressed Size	16922
Max. Term Depth	34
Asserts	14
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	70	and	25
=>	48	=	678	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 93

Status	unknown
Inferred Status	None
Size	106571
Compressed Size	17095
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	24
=>	48	=	714	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 94

Status	unknown
Inferred Status	None
Size	106623
Compressed Size	17111
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	25
=>	48	=	714	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 95

Status	unknown
Inferred Status	None
Size	106693
Compressed Size	17145
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	25
=>	48	=	714	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 96

Status	unknown
Inferred Status	None
Size	106710
Compressed Size	17139
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	25
=>	48	=	715	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 97

Status	unknown
Inferred Status	None
Size	106818
Compressed Size	17147
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	25
=>	48	=	715	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 98

Status	unknown
Inferred Status	None
Size	106586
Compressed Size	17097
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	24
=>	48	=	714	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 99

Status	unknown
Inferred Status	None
Size	106638
Compressed Size	17114
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	25
=>	48	=	714	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14

Query 100

Status	unknown
Inferred Status	None
Size	106708
Compressed Size	17151
Max. Term Depth	34
Asserts	48
Declared Functions	119
Declared Constants	1315
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	70	and	25
=>	48	=	714	forall	41	exists	1
Int	55	div	1	+	5	-	14
<	5	<=	18	>	3	>=	14