Benchmark

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

Benchmark without description.

Benchmark
Size	390408
Compressed Size	25671
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	624

Query 1

Status	unknown
Inferred Status	None
Size	68309
Compressed Size	11636
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 2

Status	unknown
Inferred Status	None
Size	68360
Compressed Size	11643
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 3

Status	unknown
Inferred Status	None
Size	68375
Compressed Size	11646
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 4

Status	unknown
Inferred Status	None
Size	68400
Compressed Size	11650
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 5

Status	unknown
Inferred Status	None
Size	68413
Compressed Size	11650
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 6

Status	unknown
Inferred Status	None
Size	68436
Compressed Size	11654
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 7

Status	unknown
Inferred Status	None
Size	68457
Compressed Size	11655
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 8

Status	unknown
Inferred Status	None
Size	68476
Compressed Size	11659
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	284	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 9

Status	unknown
Inferred Status	None
Size	68496
Compressed Size	11669
Max. Term Depth	13
Asserts	10
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	284	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 10

Status	unknown
Inferred Status	None
Size	68407
Compressed Size	11658
Max. Term Depth	13
Asserts	13
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	98	and	16
=>	16	=	283	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 11

Status	unknown
Inferred Status	None
Size	68680
Compressed Size	11722
Max. Term Depth	13
Asserts	20
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	99	and	16
=>	16	=	286	forall	16	Int	26
+	1	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 12

Status	unknown
Inferred Status	None
Size	68897
Compressed Size	11767
Max. Term Depth	13
Asserts	22
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	99	and	16
=>	17	=	287	forall	16	Int	26
+	4	-	2	*	9	<	30
<=	34	>	2	>=	1

Query 13

Status	unknown
Inferred Status	None
Size	72381
Compressed Size	12209
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 14

Status	unknown
Inferred Status	None
Size	72400
Compressed Size	12218
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 15

Status	unknown
Inferred Status	None
Size	72454
Compressed Size	12222
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 16

Status	unknown
Inferred Status	None
Size	72514
Compressed Size	12227
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 17

Status	unknown
Inferred Status	None
Size	72534
Compressed Size	12226
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 18

Status	unknown
Inferred Status	None
Size	72553
Compressed Size	12229
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 19

Status	unknown
Inferred Status	None
Size	72664
Compressed Size	12245
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	34	>	2	>=	1

Query 20

Status	unknown
Inferred Status	None
Size	72684
Compressed Size	12245
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	34	>	2	>=	1

Query 21

Status	unknown
Inferred Status	None
Size	72703
Compressed Size	12245
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	34	>	2	>=	1

Query 22

Status	unknown
Inferred Status	None
Size	72636
Compressed Size	12242
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 23

Status	unknown
Inferred Status	None
Size	72656
Compressed Size	12247
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 24

Status	unknown
Inferred Status	None
Size	72676
Compressed Size	12250
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	36	<=	34	>	2	>=	1

Query 25

Status	unknown
Inferred Status	None
Size	72789
Compressed Size	12265
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	34	>	2	>=	1

Query 26

Status	unknown
Inferred Status	None
Size	72809
Compressed Size	12268
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	34	>	2	>=	1

Query 27

Status	unknown
Inferred Status	None
Size	72829
Compressed Size	12269
Max. Term Depth	13
Asserts	21
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	7	Bool	26	not	100	or	6
and	25	=>	24	=	308	forall	17
Int	28	+	1	-	2	*	9
<	37	<=	34	>	2	>=	1

Query 28

Status	unknown
Inferred Status	None
Size	70860
Compressed Size	11979
Max. Term Depth	13
Asserts	23
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	99	or	3
and	24	=>	23	=	298	forall	17
Int	28	+	3	-	6	*	9
<	36	<=	34	>	2	>=	1

Query 29

Status	unknown
Inferred Status	None
Size	91662
Compressed Size	13513
Max. Term Depth	16
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	105	or	7
and	51	=>	37	=	445	forall	17
exists	17	Int	46	+	3	-	6
*	9	<	36	<=	38	>	2
>=	1

Query 30

Status	unknown
Inferred Status	None
Size	80681
Compressed Size	12957
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 31

Status	unknown
Inferred Status	None
Size	80700
Compressed Size	12959
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 32

Status	unknown
Inferred Status	None
Size	80640
Compressed Size	12942
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 33

Status	unknown
Inferred Status	None
Size	80659
Compressed Size	12943
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 34

Status	unknown
Inferred Status	None
Size	80678
Compressed Size	12945
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 35

Status	unknown
Inferred Status	None
Size	80697
Compressed Size	12947
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 36

Status	unknown
Inferred Status	None
Size	80716
Compressed Size	12949
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 37

Status	unknown
Inferred Status	None
Size	80735
Compressed Size	12952
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 38

Status	unknown
Inferred Status	None
Size	80755
Compressed Size	12956
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 39

Status	unknown
Inferred Status	None
Size	80872
Compressed Size	12988
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 40

Status	unknown
Inferred Status	None
Size	80892
Compressed Size	12991
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 41

Status	unknown
Inferred Status	None
Size	81015
Compressed Size	13004
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 42

Status	unknown
Inferred Status	None
Size	81035
Compressed Size	13006
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 43

Status	unknown
Inferred Status	None
Size	89861
Compressed Size	13579
Max. Term Depth	14
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	105	or	7
and	51	=>	37	=	445	forall	17
exists	17	Int	46	+	3	-	6
*	9	<	36	<=	38	>	2
>=	1

Query 44

Status	unknown
Inferred Status	None
Size	96085
Compressed Size	13658
Max. Term Depth	19
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	105	or	7
and	51	=>	37	=	445	forall	17
exists	17	Int	46	+	3	-	6
*	9	<	36	<=	38	>	2
>=	1

Query 45

Status	unknown
Inferred Status	None
Size	80932
Compressed Size	12993
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 46

Status	unknown
Inferred Status	None
Size	81093
Compressed Size	12999
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 47

Status	unknown
Inferred Status	None
Size	80972
Compressed Size	12999
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 48

Status	unknown
Inferred Status	None
Size	81133
Compressed Size	13006
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 49

Status	unknown
Inferred Status	None
Size	80980
Compressed Size	12994
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 50

Status	unknown
Inferred Status	None
Size	81000
Compressed Size	12993
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 51

Status	unknown
Inferred Status	None
Size	81020
Compressed Size	12997
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 52

Status	unknown
Inferred Status	None
Size	81040
Compressed Size	12997
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 53

Status	unknown
Inferred Status	None
Size	81060
Compressed Size	13001
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 54

Status	unknown
Inferred Status	None
Size	81080
Compressed Size	13000
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 55

Status	unknown
Inferred Status	None
Size	81100
Compressed Size	13006
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 56

Status	unknown
Inferred Status	None
Size	81120
Compressed Size	13005
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 57

Status	unknown
Inferred Status	None
Size	81140
Compressed Size	13010
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 58

Status	unknown
Inferred Status	None
Size	81160
Compressed Size	13005
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 59

Status	unknown
Inferred Status	None
Size	81180
Compressed Size	13010
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 60

Status	unknown
Inferred Status	None
Size	81200
Compressed Size	13009
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 61

Status	unknown
Inferred Status	None
Size	81220
Compressed Size	13015
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 62

Status	unknown
Inferred Status	None
Size	81240
Compressed Size	13015
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 63

Status	unknown
Inferred Status	None
Size	81310
Compressed Size	13036
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 64

Status	unknown
Inferred Status	None
Size	81471
Compressed Size	13044
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 65

Status	unknown
Inferred Status	None
Size	81350
Compressed Size	13038
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 66

Status	unknown
Inferred Status	None
Size	81511
Compressed Size	13047
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 67

Status	unknown
Inferred Status	None
Size	81493
Compressed Size	13051
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 68

Status	unknown
Inferred Status	None
Size	81654
Compressed Size	13063
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 69

Status	unknown
Inferred Status	None
Size	81533
Compressed Size	13053
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 70

Status	unknown
Inferred Status	None
Size	81694
Compressed Size	13065
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 71

Status	unknown
Inferred Status	None
Size	88934
Compressed Size	13549
Max. Term Depth	14
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	105	or	7
and	51	=>	37	=	445	forall	17
exists	17	Int	46	+	3	-	6
*	9	<	36	<=	38	>	2
>=	1

Query 72

Status	unknown
Inferred Status	None
Size	88954
Compressed Size	13551
Max. Term Depth	14
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	105	or	7
and	51	=>	37	=	445	forall	17
exists	17	Int	46	+	3	-	6
*	9	<	36	<=	38	>	2
>=	1

Query 73

Status	unknown
Inferred Status	None
Size	81557
Compressed Size	13059
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 74

Status	unknown
Inferred Status	None
Size	81577
Compressed Size	13063
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 75

Status	unknown
Inferred Status	None
Size	81597
Compressed Size	13068
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 76

Status	unknown
Inferred Status	None
Size	81617
Compressed Size	13071
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 77

Status	unknown
Inferred Status	None
Size	81637
Compressed Size	13072
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 78

Status	unknown
Inferred Status	None
Size	81657
Compressed Size	13074
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 79

Status	unknown
Inferred Status	None
Size	81677
Compressed Size	13076
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 80

Status	unknown
Inferred Status	None
Size	81697
Compressed Size	13077
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 81

Status	unknown
Inferred Status	None
Size	81717
Compressed Size	13073
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 82

Status	unknown
Inferred Status	None
Size	81737
Compressed Size	13076
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 83

Status	unknown
Inferred Status	None
Size	81757
Compressed Size	13080
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 84

Status	unknown
Inferred Status	None
Size	81777
Compressed Size	13083
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 85

Status	unknown
Inferred Status	None
Size	81797
Compressed Size	13084
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 86

Status	unknown
Inferred Status	None
Size	81817
Compressed Size	13087
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 87

Status	unknown
Inferred Status	None
Size	81954
Compressed Size	13102
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 88

Status	unknown
Inferred Status	None
Size	81974
Compressed Size	13103
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 89

Status	unknown
Inferred Status	None
Size	81994
Compressed Size	13105
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 90

Status	unknown
Inferred Status	None
Size	82014
Compressed Size	13107
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 91

Status	unknown
Inferred Status	None
Size	89338
Compressed Size	13593
Max. Term Depth	14
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	105	or	7
and	51	=>	37	=	445	forall	17
exists	17	Int	46	+	3	-	6
*	9	<	36	<=	38	>	2
>=	1

Query 92

Status	unknown
Inferred Status	None
Size	81941
Compressed Size	13102
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 93

Status	unknown
Inferred Status	None
Size	81961
Compressed Size	13108
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 94

Status	unknown
Inferred Status	None
Size	81981
Compressed Size	13110
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 95

Status	unknown
Inferred Status	None
Size	82001
Compressed Size	13112
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 96

Status	unknown
Inferred Status	None
Size	82021
Compressed Size	13109
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 97

Status	unknown
Inferred Status	None
Size	82041
Compressed Size	13114
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 98

Status	unknown
Inferred Status	None
Size	82061
Compressed Size	13115
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	371	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 99

Status	unknown
Inferred Status	None
Size	82198
Compressed Size	13131
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1

Query 100

Status	unknown
Inferred Status	None
Size	82218
Compressed Size	13132
Max. Term Depth	13
Asserts	25
Declared Functions	115
Declared Constants	832
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	7	Bool	58	not	101	or	5
and	33	=>	24	=	372	forall	17
exists	8	Int	36	+	3	-	6
*	9	<	36	<=	36	>	2
>=	1