Benchmark

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

Benchmark without description.

Benchmark
Size	193730
Compressed Size	21655
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	213

Query 1

Status	unknown
Inferred Status	None
Size	103327
Compressed Size	16229
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	79	or	1
and	31	=>	42	=	650	forall	40
Int	63	div	1	+	23	-	29
<	4	<=	25	>	1	>=	25

Query 2

Status	unknown
Inferred Status	None
Size	103360
Compressed Size	16245
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	79	or	1
and	31	=>	42	=	650	forall	40
Int	63	div	1	+	23	-	28
<	4	<=	25	>	1	>=	25

Query 3

Status	unknown
Inferred Status	None
Size	103356
Compressed Size	16240
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	49
Declared Datatypes	0

Symbols

true	6	Bool	49	not	79	or	1
and	31	=>	42	=	650	forall	40
Int	63	div	1	+	23	-	28
<	4	<=	26	>	1	>=	24

Query 4

Status	unknown
Inferred Status	None
Size	100399
Compressed Size	15761
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	79	or	1
and	30	=>	38	=	642	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	23	>	1	>=	21

Query 5

Status	unknown
Inferred Status	None
Size	104927
Compressed Size	16366
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	82	or	3
and	41	=>	44	=	658	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	29	>	1	>=	27

Query 6

Status	unknown
Inferred Status	None
Size	103062
Compressed Size	16216
Max. Term Depth	34
Asserts	14
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	81	or	1
and	33	=>	44	=	646	forall	40
Int	63	div	1	+	23	-	28
<	4	<=	25	>	1	>=	25

Query 7

Status	unknown
Inferred Status	None
Size	103068
Compressed Size	16217
Max. Term Depth	34
Asserts	14
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	81	or	1
and	33	=>	44	=	646	forall	40
Int	63	div	1	+	23	-	27
<	4	<=	25	>	1	>=	25

Query 8

Status	unknown
Inferred Status	None
Size	103064
Compressed Size	16219
Max. Term Depth	34
Asserts	14
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	81	or	1
and	33	=>	44	=	646	forall	40
Int	63	div	1	+	23	-	27
<	4	<=	26	>	1	>=	24

Query 9

Status	unknown
Inferred Status	None
Size	100664
Compressed Size	15820
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	29	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	23	>	1	>=	21

Query 10

Status	unknown
Inferred Status	None
Size	100679
Compressed Size	15817
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	29	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	23	>	1	>=	21

Query 11

Status	unknown
Inferred Status	None
Size	100698
Compressed Size	15823
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	29	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	23	>	1	>=	21

Query 12

Status	unknown
Inferred Status	None
Size	100731
Compressed Size	15828
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	30	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	24	>	1	>=	22

Query 13

Status	unknown
Inferred Status	None
Size	100787
Compressed Size	15832
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	29	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	23	>	1	>=	21

Query 14

Status	unknown
Inferred Status	None
Size	100815
Compressed Size	15838
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	29	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	27
<	4	<=	23	>	1	>=	21

Query 15

Status	unknown
Inferred Status	None
Size	100821
Compressed Size	15837
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	29	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	23	>	1	>=	21

Query 16

Status	unknown
Inferred Status	None
Size	100869
Compressed Size	15841
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	30	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	28
<	4	<=	23	>	1	>=	22

Query 17

Status	unknown
Inferred Status	None
Size	100875
Compressed Size	15843
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	30	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	27
<	4	<=	23	>	1	>=	22

Query 18

Status	unknown
Inferred Status	None
Size	100844
Compressed Size	15840
Max. Term Depth	34
Asserts	11
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	79	or	1
and	30	=>	39	=	640	forall	37
Int	60	div	1	+	23	-	26
<	4	<=	24	>	1	>=	21

Query 19

Status	unknown
Inferred Status	None
Size	102763
Compressed Size	16142
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 20

Status	unknown
Inferred Status	None
Size	102755
Compressed Size	16131
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 21

Status	unknown
Inferred Status	None
Size	102807
Compressed Size	16149
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 22

Status	unknown
Inferred Status	None
Size	102799
Compressed Size	16134
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 23

Status	unknown
Inferred Status	None
Size	102821
Compressed Size	16140
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 24

Status	unknown
Inferred Status	None
Size	102864
Compressed Size	16149
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 25

Status	unknown
Inferred Status	None
Size	102848
Compressed Size	16143
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 26

Status	unknown
Inferred Status	None
Size	102914
Compressed Size	16163
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 27

Status	unknown
Inferred Status	None
Size	102933
Compressed Size	16160
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 28

Status	unknown
Inferred Status	None
Size	102953
Compressed Size	16166
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 29

Status	unknown
Inferred Status	None
Size	102967
Compressed Size	16161
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 30

Status	unknown
Inferred Status	None
Size	102964
Compressed Size	16157
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 31

Status	unknown
Inferred Status	None
Size	103047
Compressed Size	16166
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 32

Status	unknown
Inferred Status	None
Size	103046
Compressed Size	16167
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 33

Status	unknown
Inferred Status	None
Size	103045
Compressed Size	16170
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 34

Status	unknown
Inferred Status	None
Size	103079
Compressed Size	16181
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 35

Status	unknown
Inferred Status	None
Size	103099
Compressed Size	16189
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 36

Status	unknown
Inferred Status	None
Size	103113
Compressed Size	16185
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 37

Status	unknown
Inferred Status	None
Size	103110
Compressed Size	16182
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 38

Status	unknown
Inferred Status	None
Size	103172
Compressed Size	16186
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 39

Status	unknown
Inferred Status	None
Size	103171
Compressed Size	16188
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 40

Status	unknown
Inferred Status	None
Size	102846
Compressed Size	16190
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 41

Status	unknown
Inferred Status	None
Size	102834
Compressed Size	16176
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 42

Status	unknown
Inferred Status	None
Size	102890
Compressed Size	16196
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 43

Status	unknown
Inferred Status	None
Size	102878
Compressed Size	16183
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 44

Status	unknown
Inferred Status	None
Size	102898
Compressed Size	16185
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 45

Status	unknown
Inferred Status	None
Size	102941
Compressed Size	16195
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 46

Status	unknown
Inferred Status	None
Size	102925
Compressed Size	16189
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 47

Status	unknown
Inferred Status	None
Size	102997
Compressed Size	16210
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 48

Status	unknown
Inferred Status	None
Size	103016
Compressed Size	16208
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 49

Status	unknown
Inferred Status	None
Size	103036
Compressed Size	16212
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 50

Status	unknown
Inferred Status	None
Size	103044
Compressed Size	16208
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 51

Status	unknown
Inferred Status	None
Size	103041
Compressed Size	16204
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 52

Status	unknown
Inferred Status	None
Size	103130
Compressed Size	16213
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 53

Status	unknown
Inferred Status	None
Size	103127
Compressed Size	16212
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 54

Status	unknown
Inferred Status	None
Size	103124
Compressed Size	16215
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 55

Status	unknown
Inferred Status	None
Size	103162
Compressed Size	16232
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 56

Status	unknown
Inferred Status	None
Size	103182
Compressed Size	16235
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 57

Status	unknown
Inferred Status	None
Size	103190
Compressed Size	16232
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 58

Status	unknown
Inferred Status	None
Size	103187
Compressed Size	16226
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 59

Status	unknown
Inferred Status	None
Size	103253
Compressed Size	16229
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 60

Status	unknown
Inferred Status	None
Size	103250
Compressed Size	16232
Max. Term Depth	34
Asserts	9
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	6	Bool	40	not	79	or	1
and	31	=>	41	=	641	forall	39
Int	62	div	1	+	23	-	27
<	4	<=	24	>	1	>=	24

Query 61

Status	unknown
Inferred Status	None
Size	107391
Compressed Size	16581
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 62

Status	unknown
Inferred Status	None
Size	107434
Compressed Size	16592
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 63

Status	unknown
Inferred Status	None
Size	107418
Compressed Size	16587
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 64

Status	unknown
Inferred Status	None
Size	107490
Compressed Size	16604
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 65

Status	unknown
Inferred Status	None
Size	107503
Compressed Size	16603
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 66

Status	unknown
Inferred Status	None
Size	107522
Compressed Size	16604
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 67

Status	unknown
Inferred Status	None
Size	107535
Compressed Size	16602
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 68

Status	unknown
Inferred Status	None
Size	107531
Compressed Size	16597
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 69

Status	unknown
Inferred Status	None
Size	107615
Compressed Size	16605
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 70

Status	unknown
Inferred Status	None
Size	107612
Compressed Size	16605
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 71

Status	unknown
Inferred Status	None
Size	107611
Compressed Size	16605
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 72

Status	unknown
Inferred Status	None
Size	107645
Compressed Size	16620
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 73

Status	unknown
Inferred Status	None
Size	107665
Compressed Size	16624
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 74

Status	unknown
Inferred Status	None
Size	107658
Compressed Size	16615
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 75

Status	unknown
Inferred Status	None
Size	107705
Compressed Size	16631
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 76

Status	unknown
Inferred Status	None
Size	107719
Compressed Size	16626
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 77

Status	unknown
Inferred Status	None
Size	107716
Compressed Size	16626
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 78

Status	unknown
Inferred Status	None
Size	107778
Compressed Size	16633
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 79

Status	unknown
Inferred Status	None
Size	107777
Compressed Size	16629
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 80

Status	unknown
Inferred Status	None
Size	107811
Compressed Size	16641
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 81

Status	unknown
Inferred Status	None
Size	107831
Compressed Size	16648
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 82

Status	unknown
Inferred Status	None
Size	107857
Compressed Size	16648
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 83

Status	unknown
Inferred Status	None
Size	107844
Compressed Size	16638
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 84

Status	unknown
Inferred Status	None
Size	107866
Compressed Size	16640
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 85

Status	unknown
Inferred Status	None
Size	107884
Compressed Size	16643
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 86

Status	unknown
Inferred Status	None
Size	107937
Compressed Size	16658
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 87

Status	unknown
Inferred Status	None
Size	107963
Compressed Size	16660
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 88

Status	unknown
Inferred Status	None
Size	107983
Compressed Size	16660
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 89

Status	unknown
Inferred Status	None
Size	108003
Compressed Size	16663
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 90

Status	unknown
Inferred Status	None
Size	108017
Compressed Size	16666
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 91

Status	unknown
Inferred Status	None
Size	108010
Compressed Size	16656
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 92

Status	unknown
Inferred Status	None
Size	108032
Compressed Size	16660
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 93

Status	unknown
Inferred Status	None
Size	108052
Compressed Size	16658
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 94

Status	unknown
Inferred Status	None
Size	108070
Compressed Size	16661
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 95

Status	unknown
Inferred Status	None
Size	108111
Compressed Size	16669
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 96

Status	unknown
Inferred Status	None
Size	108131
Compressed Size	16670
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 97

Status	unknown
Inferred Status	None
Size	108132
Compressed Size	16667
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 98

Status	unknown
Inferred Status	None
Size	108171
Compressed Size	16674
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 99

Status	unknown
Inferred Status	None
Size	108210
Compressed Size	16677
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29

Query 100

Status	unknown
Inferred Status	None
Size	108742
Compressed Size	16717
Max. Term Depth	34
Asserts	12
Declared Functions	125
Declared Constants	1250
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	56
Declared Datatypes	0

Symbols

true	6	Bool	56	not	87	or	1
and	42	=>	44	=	670	forall	41
Int	64	div	1	+	23	-	26
<	4	<=	30	>	1	>=	29