Benchmark

incremental/UFNIA/20190906-CLEARSY/0003/00274.smt2

Benchmark without description.

Benchmark
Size	777895
Compressed Size	53087
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	1008

Query 1

Status	unknown
Inferred Status	None
Size	132084
Compressed Size	22874
Max. Term Depth	13
Asserts	5
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	4	Bool	12	not	103	and	41
=>	47	=	560	forall	47	exists	1
Int	84	+	1	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 2

Status	unknown
Inferred Status	None
Size	155381
Compressed Size	26305
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	43
=>	49	=	585	forall	48	exists	1
Int	88	+	1	-	2	*	9
<	29	<=	38	>	2	>=	2

Query 3

Status	unknown
Inferred Status	None
Size	155273
Compressed Size	26268
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 4

Status	unknown
Inferred Status	None
Size	155204
Compressed Size	26265
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 5

Status	unknown
Inferred Status	None
Size	155234
Compressed Size	26273
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 6

Status	unknown
Inferred Status	None
Size	155253
Compressed Size	26278
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 7

Status	unknown
Inferred Status	None
Size	155272
Compressed Size	26277
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 8

Status	unknown
Inferred Status	None
Size	155291
Compressed Size	26281
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 9

Status	unknown
Inferred Status	None
Size	155310
Compressed Size	26282
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 10

Status	unknown
Inferred Status	None
Size	155329
Compressed Size	26284
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 11

Status	unknown
Inferred Status	None
Size	155409
Compressed Size	26288
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	585	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 12

Status	unknown
Inferred Status	None
Size	155349
Compressed Size	26282
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	272
Declared Datatypes	0

Symbols

true	4	Bool	272	not	105	and	42
=>	49	=	586	forall	48	Int	84
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 13

Status	unknown
Inferred Status	None
Size	152660
Compressed Size	26012
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	42
=>	48	=	579	forall	47	exists	1
Int	87	+	1	-	2	*	9
<	29	<=	38	>	2	>=	2

Query 14

Status	unknown
Inferred Status	None
Size	152464
Compressed Size	25973
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 15

Status	unknown
Inferred Status	None
Size	152494
Compressed Size	25980
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 16

Status	unknown
Inferred Status	None
Size	152513
Compressed Size	25983
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 17

Status	unknown
Inferred Status	None
Size	152532
Compressed Size	25984
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 18

Status	unknown
Inferred Status	None
Size	152551
Compressed Size	25988
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 19

Status	unknown
Inferred Status	None
Size	152570
Compressed Size	25988
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 20

Status	unknown
Inferred Status	None
Size	152589
Compressed Size	25989
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 21

Status	unknown
Inferred Status	None
Size	152668
Compressed Size	25993
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	579	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 22

Status	unknown
Inferred Status	None
Size	152608
Compressed Size	25987
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	246
Declared Datatypes	0

Symbols

true	4	Bool	246	not	103	and	41
=>	48	=	580	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	38	>	2	>=	2

Query 23

Status	unknown
Inferred Status	None
Size	135848
Compressed Size	23405
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	50	=	560	forall	49	Int	85
+	1	-	2	*	9	<	29
<=	39	>	2	>=	2

Query 24

Status	unknown
Inferred Status	None
Size	135779
Compressed Size	23404
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	50	=	560	forall	49	Int	85
+	1	-	2	*	9	<	29
<=	39	>	2	>=	2

Query 25

Status	unknown
Inferred Status	None
Size	135825
Compressed Size	23399
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	50	=	560	forall	49	Int	85
+	1	-	2	*	9	<	29
<=	39	>	2	>=	2

Query 26

Status	unknown
Inferred Status	None
Size	135849
Compressed Size	23408
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	50	=	560	forall	49	Int	85
+	1	-	2	*	9	<	29
<=	39	>	2	>=	2

Query 27

Status	unknown
Inferred Status	None
Size	135851
Compressed Size	23401
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	50	=	560	forall	49	Int	85
+	1	-	2	*	9	<	29
<=	40	>	2	>=	2

Query 28

Status	unknown
Inferred Status	None
Size	134215
Compressed Size	23172
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 29

Status	unknown
Inferred Status	None
Size	134218
Compressed Size	23173
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 30

Status	unknown
Inferred Status	None
Size	132839
Compressed Size	23040
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	4	Bool	19	not	103	or	1
and	42	=>	48	=	565	forall	47
Int	83	+	1	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 31

Status	unknown
Inferred Status	None
Size	134260
Compressed Size	23177
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 32

Status	unknown
Inferred Status	None
Size	134749
Compressed Size	23353
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	4	Bool	42	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 33

Status	unknown
Inferred Status	None
Size	134768
Compressed Size	23357
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	4	Bool	42	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 34

Status	unknown
Inferred Status	None
Size	134783
Compressed Size	23357
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	4	Bool	42	not	107	and	41
=>	51	=	575	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 35

Status	unknown
Inferred Status	None
Size	134764
Compressed Size	23355
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	4	Bool	42	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 36

Status	unknown
Inferred Status	None
Size	134783
Compressed Size	23358
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	4	Bool	42	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 37

Status	unknown
Inferred Status	None
Size	134798
Compressed Size	23359
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	42
Declared Datatypes	0

Symbols

true	4	Bool	42	not	107	and	41
=>	51	=	575	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 38

Status	unknown
Inferred Status	None
Size	134699
Compressed Size	23332
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	41
Declared Datatypes	0

Symbols

true	4	Bool	41	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 39

Status	unknown
Inferred Status	None
Size	134719
Compressed Size	23332
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	41
Declared Datatypes	0

Symbols

true	4	Bool	41	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 40

Status	unknown
Inferred Status	None
Size	134735
Compressed Size	23332
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	41
Declared Datatypes	0

Symbols

true	4	Bool	41	not	107	and	41
=>	51	=	575	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 41

Status	unknown
Inferred Status	None
Size	134715
Compressed Size	23332
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	41
Declared Datatypes	0

Symbols

true	4	Bool	41	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 42

Status	unknown
Inferred Status	None
Size	134735
Compressed Size	23333
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	41
Declared Datatypes	0

Symbols

true	4	Bool	41	not	107	and	41
=>	51	=	574	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 43

Status	unknown
Inferred Status	None
Size	134751
Compressed Size	23333
Max. Term Depth	13
Asserts	19
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	41
Declared Datatypes	0

Symbols

true	4	Bool	41	not	107	and	41
=>	51	=	575	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 44

Status	unknown
Inferred Status	None
Size	134339
Compressed Size	23188
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 45

Status	unknown
Inferred Status	None
Size	132728
Compressed Size	23000
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	4	Bool	16	not	103	and	41
=>	48	=	562	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 46

Status	unknown
Inferred Status	None
Size	134414
Compressed Size	23267
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	4	Bool	35	not	103	and	41
=>	48	=	565	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 47

Status	unknown
Inferred Status	None
Size	134607
Compressed Size	23283
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	4	Bool	35	not	103	and	41
=>	48	=	565	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 48

Status	unknown
Inferred Status	None
Size	134774
Compressed Size	23311
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	4	Bool	35	not	103	and	41
=>	48	=	566	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 49

Status	unknown
Inferred Status	None
Size	135392
Compressed Size	23424
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	4	Bool	48	not	103	and	41
=>	48	=	567	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 50

Status	unknown
Inferred Status	None
Size	135585
Compressed Size	23437
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	4	Bool	48	not	103	and	41
=>	48	=	567	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 51

Status	unknown
Inferred Status	None
Size	135752
Compressed Size	23460
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	48
Declared Datatypes	0

Symbols

true	4	Bool	48	not	103	and	41
=>	48	=	568	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 52

Status	unknown
Inferred Status	None
Size	135048
Compressed Size	23365
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	48	=	566	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 53

Status	unknown
Inferred Status	None
Size	135243
Compressed Size	23387
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	48	=	566	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 54

Status	unknown
Inferred Status	None
Size	135413
Compressed Size	23411
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	43
Declared Datatypes	0

Symbols

true	4	Bool	43	not	103	and	41
=>	48	=	567	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 55

Status	unknown
Inferred Status	None
Size	133993
Compressed Size	23219
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	4	Bool	32	not	103	and	41
=>	48	=	563	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 56

Status	unknown
Inferred Status	None
Size	134202
Compressed Size	23254
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	4	Bool	32	not	103	and	41
=>	48	=	564	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 57

Status	unknown
Inferred Status	None
Size	134821
Compressed Size	23327
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	4	Bool	40	not	103	and	41
=>	48	=	565	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 58

Status	unknown
Inferred Status	None
Size	135016
Compressed Size	23340
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	4	Bool	40	not	103	and	41
=>	48	=	565	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 59

Status	unknown
Inferred Status	None
Size	135186
Compressed Size	23365
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	40
Declared Datatypes	0

Symbols

true	4	Bool	40	not	103	and	41
=>	48	=	566	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 60

Status	unknown
Inferred Status	None
Size	133975
Compressed Size	23229
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	4	Bool	31	not	103	and	41
=>	48	=	564	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 61

Status	unknown
Inferred Status	None
Size	134783
Compressed Size	23218
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 62

Status	unknown
Inferred Status	None
Size	134799
Compressed Size	23221
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 63

Status	unknown
Inferred Status	None
Size	134487
Compressed Size	23209
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 64

Status	unknown
Inferred Status	None
Size	134818
Compressed Size	23220
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 65

Status	unknown
Inferred Status	None
Size	134834
Compressed Size	23224
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 66

Status	unknown
Inferred Status	None
Size	134535
Compressed Size	23211
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 67

Status	unknown
Inferred Status	None
Size	134563
Compressed Size	23216
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 68

Status	unknown
Inferred Status	None
Size	134567
Compressed Size	23218
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 69

Status	unknown
Inferred Status	None
Size	134583
Compressed Size	23214
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 70

Status	unknown
Inferred Status	None
Size	134927
Compressed Size	23234
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 71

Status	unknown
Inferred Status	None
Size	134627
Compressed Size	23218
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 72

Status	unknown
Inferred Status	None
Size	134643
Compressed Size	23218
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 73

Status	unknown
Inferred Status	None
Size	134975
Compressed Size	23238
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 74

Status	unknown
Inferred Status	None
Size	134991
Compressed Size	23240
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 75

Status	unknown
Inferred Status	None
Size	134691
Compressed Size	23227
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 76

Status	unknown
Inferred Status	None
Size	134707
Compressed Size	23224
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 77

Status	unknown
Inferred Status	None
Size	135067
Compressed Size	23356
Max. Term Depth	13
Asserts	15
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	4	Bool	35	not	105	and	43
=>	54	=	569	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 78

Status	unknown
Inferred Status	None
Size	135087
Compressed Size	23359
Max. Term Depth	13
Asserts	15
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	4	Bool	35	not	105	and	43
=>	54	=	569	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 79

Status	unknown
Inferred Status	None
Size	135107
Compressed Size	23363
Max. Term Depth	13
Asserts	15
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	4	Bool	35	not	105	and	43
=>	54	=	569	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 80

Status	unknown
Inferred Status	None
Size	135127
Compressed Size	23363
Max. Term Depth	13
Asserts	15
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	35
Declared Datatypes	0

Symbols

true	4	Bool	35	not	105	and	43
=>	54	=	569	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 81

Status	unknown
Inferred Status	None
Size	134739
Compressed Size	23226
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 82

Status	unknown
Inferred Status	None
Size	135056
Compressed Size	23247
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 83

Status	unknown
Inferred Status	None
Size	135072
Compressed Size	23249
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 84

Status	unknown
Inferred Status	None
Size	135088
Compressed Size	23248
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 85

Status	unknown
Inferred Status	None
Size	135104
Compressed Size	23250
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 86

Status	unknown
Inferred Status	None
Size	134819
Compressed Size	23232
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 87

Status	unknown
Inferred Status	None
Size	134835
Compressed Size	23240
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 88

Status	unknown
Inferred Status	None
Size	134839
Compressed Size	23240
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 89

Status	unknown
Inferred Status	None
Size	135170
Compressed Size	23253
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 90

Status	unknown
Inferred Status	None
Size	135198
Compressed Size	23255
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	4	Bool	21	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 91

Status	unknown
Inferred Status	None
Size	134887
Compressed Size	23245
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	4	Bool	20	not	104	and	49
=>	50	=	586	forall	47	exists	2
Int	85	+	7	-	2	*	9
<	29	<=	37	>	2	>=	2

Query 92

Status	unknown
Inferred Status	None
Size	134022
Compressed Size	23193
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	4	Bool	24	not	104	and	41
=>	48	=	563	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 93

Status	unknown
Inferred Status	None
Size	134042
Compressed Size	23198
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	4	Bool	24	not	104	and	41
=>	48	=	563	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 94

Status	unknown
Inferred Status	None
Size	134135
Compressed Size	23230
Max. Term Depth	13
Asserts	14
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	4	Bool	24	not	104	and	41
=>	48	=	564	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 95

Status	unknown
Inferred Status	None
Size	133712
Compressed Size	23169
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	4	Bool	18	not	103	and	42
=>	50	=	561	forall	49	Int	86
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 96

Status	unknown
Inferred Status	None
Size	133763
Compressed Size	23174
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	4	Bool	18	not	103	and	42
=>	50	=	561	forall	49	Int	86
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 97

Status	unknown
Inferred Status	None
Size	133894
Compressed Size	23199
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	4	Bool	18	not	103	and	42
=>	50	=	562	forall	49	Int	86
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 98

Status	unknown
Inferred Status	None
Size	134226
Compressed Size	23230
Max. Term Depth	13
Asserts	15
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	4	Bool	26	not	103	and	41
=>	48	=	568	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 99

Status	unknown
Inferred Status	None
Size	133807
Compressed Size	23133
Max. Term Depth	13
Asserts	16
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	4	Bool	23	not	103	and	41
=>	48	=	564	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2

Query 100

Status	unknown
Inferred Status	None
Size	133847
Compressed Size	23155
Max. Term Depth	13
Asserts	16
Declared Functions	115
Declared Constants	1728
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	4	Bool	23	not	103	and	41
=>	48	=	564	forall	47	Int	83
+	1	-	2	*	9	<	29
<=	37	>	2	>=	2