Benchmark

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

Benchmark without description.

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

Query 1

Status	unknown
Inferred Status	None
Size	94394
Compressed Size	15468
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	66	or	3
and	23	=>	39	=	544	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 2

Status	unknown
Inferred Status	None
Size	94298
Compressed Size	15455
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	4
and	24	=>	41	=	553	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 3

Status	unknown
Inferred Status	None
Size	94317
Compressed Size	15463
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	4
and	24	=>	41	=	553	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 4

Status	unknown
Inferred Status	None
Size	94361
Compressed Size	15462
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	4
and	24	=>	41	=	554	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 5

Status	unknown
Inferred Status	None
Size	94380
Compressed Size	15470
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	4
and	24	=>	41	=	554	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 6

Status	unknown
Inferred Status	None
Size	95337
Compressed Size	15640
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	5
and	28	=>	43	=	566	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 7

Status	unknown
Inferred Status	None
Size	95368
Compressed Size	15635
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	5
and	28	=>	43	=	566	forall	14
Int	15	+	14	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 8

Status	unknown
Inferred Status	None
Size	95388
Compressed Size	15636
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	5
and	28	=>	43	=	566	forall	14
Int	15	+	14	-	4	*	3
<	12	<=	68	>	7	>=	38

Query 9

Status	unknown
Inferred Status	None
Size	95493
Compressed Size	15639
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	5
and	29	=>	43	=	567	forall	14
Int	15	+	15	-	4	*	3
<	12	<=	68	>	7	>=	39

Query 10

Status	unknown
Inferred Status	None
Size	94432
Compressed Size	15472
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 11

Status	unknown
Inferred Status	None
Size	94451
Compressed Size	15480
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 12

Status	unknown
Inferred Status	None
Size	94456
Compressed Size	15477
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 13

Status	unknown
Inferred Status	None
Size	94475
Compressed Size	15483
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 14

Status	unknown
Inferred Status	None
Size	94533
Compressed Size	15483
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 15

Status	unknown
Inferred Status	None
Size	94552
Compressed Size	15489
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 16

Status	unknown
Inferred Status	None
Size	96309
Compressed Size	15822
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	4
and	30	=>	43	=	576	forall	14
Int	15	+	15	-	4	*	3
<	13	<=	68	>	7	>=	38

Query 17

Status	unknown
Inferred Status	None
Size	96280
Compressed Size	15828
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	4
and	30	=>	43	=	577	forall	14
Int	15	+	14	-	4	*	3
<	13	<=	68	>	7	>=	38

Query 18

Status	unknown
Inferred Status	None
Size	96348
Compressed Size	15833
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	4
and	30	=>	43	=	576	forall	14
Int	15	+	15	-	4	*	3
<	13	<=	69	>	7	>=	38

Query 19

Status	unknown
Inferred Status	None
Size	94478
Compressed Size	15483
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 20

Status	unknown
Inferred Status	None
Size	94497
Compressed Size	15485
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 21

Status	unknown
Inferred Status	None
Size	94502
Compressed Size	15482
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 22

Status	unknown
Inferred Status	None
Size	94521
Compressed Size	15485
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 23

Status	unknown
Inferred Status	None
Size	94579
Compressed Size	15497
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 24

Status	unknown
Inferred Status	None
Size	94598
Compressed Size	15496
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	66	or	3
and	24	=>	41	=	556	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 25

Status	unknown
Inferred Status	None
Size	96415
Compressed Size	15852
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	4
and	30	=>	43	=	576	forall	14
Int	15	+	15	-	4	*	3
<	13	<=	68	>	7	>=	38

Query 26

Status	unknown
Inferred Status	None
Size	96435
Compressed Size	15861
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	4
and	30	=>	43	=	576	forall	14
Int	15	+	15	-	4	*	3
<	13	<=	69	>	7	>=	38

Query 27

Status	unknown
Inferred Status	None
Size	93993
Compressed Size	15376
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	66	or	3
and	22	=>	38	=	548	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 28

Status	unknown
Inferred Status	None
Size	94634
Compressed Size	15515
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	67	or	3
and	24	=>	41	=	557	forall	14
Int	15	+	11	-	4	*	3
<	14	<=	66	>	7	>=	37

Query 29

Status	unknown
Inferred Status	None
Size	94659
Compressed Size	15519
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	67	or	3
and	24	=>	41	=	557	forall	14
Int	15	+	11	-	4	*	3
<	14	<=	66	>	7	>=	37

Query 30

Status	unknown
Inferred Status	None
Size	94677
Compressed Size	15515
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	67	or	3
and	24	=>	41	=	557	forall	14
Int	15	+	11	-	4	*	3
<	14	<=	66	>	7	>=	37

Query 31

Status	unknown
Inferred Status	None
Size	94696
Compressed Size	15528
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	67	or	3
and	24	=>	41	=	557	forall	14
Int	15	+	11	-	4	*	3
<	14	<=	66	>	7	>=	37

Query 32

Status	unknown
Inferred Status	None
Size	94720
Compressed Size	15528
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	67	or	3
and	24	=>	41	=	557	forall	14
Int	15	+	11	-	4	*	3
<	14	<=	66	>	7	>=	37

Query 33

Status	unknown
Inferred Status	None
Size	94740
Compressed Size	15527
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	7	Bool	21	not	67	or	3
and	24	=>	41	=	557	forall	14
Int	15	+	11	-	4	*	3
<	14	<=	66	>	7	>=	37

Query 34

Status	unknown
Inferred Status	None
Size	94021
Compressed Size	15386
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	66	or	4
and	22	=>	38	=	548	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 35

Status	unknown
Inferred Status	None
Size	94067
Compressed Size	15395
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	66	or	4
and	22	=>	38	=	549	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 36

Status	unknown
Inferred Status	None
Size	94353
Compressed Size	15435
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	66	or	3
and	22	=>	42	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 37

Status	unknown
Inferred Status	None
Size	94373
Compressed Size	15440
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	66	or	3
and	22	=>	42	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 38

Status	unknown
Inferred Status	None
Size	94389
Compressed Size	15441
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	66	or	3
and	22	=>	42	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 39

Status	unknown
Inferred Status	None
Size	94489
Compressed Size	15464
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	66	or	3
and	22	=>	45	=	559	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 40

Status	unknown
Inferred Status	None
Size	94482
Compressed Size	15494
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	66	or	3
and	24	=>	40	=	551	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 41

Status	unknown
Inferred Status	None
Size	94527
Compressed Size	15496
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	66	or	3
and	24	=>	40	=	552	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 42

Status	unknown
Inferred Status	None
Size	94548
Compressed Size	15510
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	66	or	5
and	24	=>	40	=	553	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 43

Status	unknown
Inferred Status	None
Size	94593
Compressed Size	15515
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	66	or	5
and	24	=>	40	=	554	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 44

Status	unknown
Inferred Status	None
Size	94808
Compressed Size	15556
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	554	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 45

Status	unknown
Inferred Status	None
Size	94828
Compressed Size	15557
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	554	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 46

Status	unknown
Inferred Status	None
Size	94834
Compressed Size	15558
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 47

Status	unknown
Inferred Status	None
Size	94854
Compressed Size	15560
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 48

Status	unknown
Inferred Status	None
Size	94913
Compressed Size	15560
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 49

Status	unknown
Inferred Status	None
Size	94933
Compressed Size	15561
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 50

Status	unknown
Inferred Status	None
Size	94850
Compressed Size	15555
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	554	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 51

Status	unknown
Inferred Status	None
Size	94870
Compressed Size	15559
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	554	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 52

Status	unknown
Inferred Status	None
Size	94876
Compressed Size	15554
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 53

Status	unknown
Inferred Status	None
Size	94896
Compressed Size	15558
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 54

Status	unknown
Inferred Status	None
Size	94955
Compressed Size	15561
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 55

Status	unknown
Inferred Status	None
Size	94975
Compressed Size	15568
Max. Term Depth	10
Asserts	15
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	7	Bool	20	not	66	or	3
and	25	=>	41	=	555	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 56

Status	unknown
Inferred Status	None
Size	94552
Compressed Size	15511
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	66	or	3
and	24	=>	40	=	552	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 57

Status	unknown
Inferred Status	None
Size	94558
Compressed Size	15511
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	66	or	3
and	24	=>	40	=	553	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 58

Status	unknown
Inferred Status	None
Size	94617
Compressed Size	15516
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	66	or	3
and	24	=>	40	=	553	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 59

Status	unknown
Inferred Status	None
Size	94644
Compressed Size	15515
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	4
and	24	=>	40	=	551	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 60

Status	unknown
Inferred Status	None
Size	94705
Compressed Size	15525
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	4
and	24	=>	40	=	551	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 61

Status	unknown
Inferred Status	None
Size	94689
Compressed Size	15524
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	4
and	24	=>	40	=	551	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 62

Status	unknown
Inferred Status	None
Size	94750
Compressed Size	15533
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	4
and	24	=>	40	=	551	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 63

Status	unknown
Inferred Status	None
Size	95540
Compressed Size	15649
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	67	or	5
and	27	=>	43	=	566	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 64

Status	unknown
Inferred Status	None
Size	95517
Compressed Size	15647
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	27	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 65

Status	unknown
Inferred Status	None
Size	95558
Compressed Size	15654
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	27	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 66

Status	unknown
Inferred Status	None
Size	95646
Compressed Size	15662
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	27	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 67

Status	unknown
Inferred Status	None
Size	95588
Compressed Size	15660
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 68

Status	unknown
Inferred Status	None
Size	95629
Compressed Size	15666
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 69

Status	unknown
Inferred Status	None
Size	95633
Compressed Size	15668
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 70

Status	unknown
Inferred Status	None
Size	95674
Compressed Size	15676
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 71

Status	unknown
Inferred Status	None
Size	95726
Compressed Size	15687
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	67	or	5
and	28	=>	43	=	566	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 72

Status	unknown
Inferred Status	None
Size	95704
Compressed Size	15683
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 73

Status	unknown
Inferred Status	None
Size	95746
Compressed Size	15692
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 74

Status	unknown
Inferred Status	None
Size	95835
Compressed Size	15704
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 75

Status	unknown
Inferred Status	None
Size	95772
Compressed Size	15699
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 76

Status	unknown
Inferred Status	None
Size	95814
Compressed Size	15708
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 77

Status	unknown
Inferred Status	None
Size	95819
Compressed Size	15709
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 78

Status	unknown
Inferred Status	None
Size	95861
Compressed Size	15717
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	7	Bool	19	not	66	or	5
and	28	=>	43	=	565	forall	14
Int	15	+	13	-	4	*	3
<	12	<=	67	>	7	>=	38

Query 79

Status	unknown
Inferred Status	None
Size	94811
Compressed Size	15565
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	24	=>	40	=	552	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 80

Status	unknown
Inferred Status	None
Size	94876
Compressed Size	15574
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	24	=>	40	=	552	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 81

Status	unknown
Inferred Status	None
Size	94857
Compressed Size	15571
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	24	=>	40	=	552	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 82

Status	unknown
Inferred Status	None
Size	94922
Compressed Size	15580
Max. Term Depth	10
Asserts	13
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	24	=>	40	=	552	forall	14
Int	15	+	11	-	4	*	3
<	12	<=	66	>	7	>=	37

Query 83

Status	unknown
Inferred Status	None
Size	95870
Compressed Size	15718
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	67	or	3
and	27	=>	43	=	572	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 84

Status	unknown
Inferred Status	None
Size	95851
Compressed Size	15718
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	27	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 85

Status	unknown
Inferred Status	None
Size	95892
Compressed Size	15722
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	27	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 86

Status	unknown
Inferred Status	None
Size	95976
Compressed Size	15732
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	27	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 87

Status	unknown
Inferred Status	None
Size	95927
Compressed Size	15731
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 88

Status	unknown
Inferred Status	None
Size	95968
Compressed Size	15737
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 89

Status	unknown
Inferred Status	None
Size	95972
Compressed Size	15738
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 90

Status	unknown
Inferred Status	None
Size	96013
Compressed Size	15744
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 91

Status	unknown
Inferred Status	None
Size	96056
Compressed Size	15746
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	67	or	3
and	28	=>	43	=	572	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 92

Status	unknown
Inferred Status	None
Size	96038
Compressed Size	15747
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 93

Status	unknown
Inferred Status	None
Size	96080
Compressed Size	15752
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 94

Status	unknown
Inferred Status	None
Size	96165
Compressed Size	15770
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 95

Status	unknown
Inferred Status	None
Size	96106
Compressed Size	15762
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 96

Status	unknown
Inferred Status	None
Size	96148
Compressed Size	15767
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 97

Status	unknown
Inferred Status	None
Size	96153
Compressed Size	15771
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 98

Status	unknown
Inferred Status	None
Size	96175
Compressed Size	15774
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 99

Status	unknown
Inferred Status	None
Size	96216
Compressed Size	15780
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37

Query 100

Status	unknown
Inferred Status	None
Size	96238
Compressed Size	15782
Max. Term Depth	10
Asserts	26
Declared Functions	117
Declared Constants	1195
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	66	or	3
and	28	=>	43	=	571	forall	14
Int	15	+	11	-	4	*	3
<	13	<=	66	>	7	>=	37