Benchmark

incremental/UFNIA/20190906-CLEARSY/0000/00326.smt2

Benchmark without description.

Benchmark
Size	604189
Compressed Size	43881
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	835

Query 1

Status	unknown
Inferred Status	None
Size	138290
Compressed Size	21327
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	775	forall	115
exists	2	Int	192	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 2

Status	unknown
Inferred Status	None
Size	138305
Compressed Size	21321
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	775	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 3

Status	unknown
Inferred Status	None
Size	138320
Compressed Size	21325
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	775	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 4

Status	unknown
Inferred Status	None
Size	138344
Compressed Size	21326
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	775	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 5

Status	unknown
Inferred Status	None
Size	138363
Compressed Size	21327
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	775	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 6

Status	unknown
Inferred Status	None
Size	138383
Compressed Size	21332
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 7

Status	unknown
Inferred Status	None
Size	138402
Compressed Size	21331
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 8

Status	unknown
Inferred Status	None
Size	138421
Compressed Size	21335
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 9

Status	unknown
Inferred Status	None
Size	138436
Compressed Size	21334
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 10

Status	unknown
Inferred Status	None
Size	138456
Compressed Size	21338
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 11

Status	unknown
Inferred Status	None
Size	138481
Compressed Size	21343
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	100	or	1
and	94	=>	141	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 12

Status	unknown
Inferred Status	None
Size	138517
Compressed Size	21345
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	57
Declared Datatypes	0

Symbols

true	6	Bool	57	not	101	or	1
and	94	=>	141	=	776	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	73
>	7	>=	54

Query 13

Status	unknown
Inferred Status	None
Size	138435
Compressed Size	21389
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	102	or	1
and	97	=>	143	=	779	forall	117
exists	2	Int	194	div	1	+	37
-	44	*	4	<	9	<=	77
>	9	>=	56

Query 14

Status	unknown
Inferred Status	None
Size	138603
Compressed Size	21429
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	103	or	1
and	99	=>	143	=	779	forall	117
exists	3	Int	195	div	1	+	37
-	45	*	4	<	9	<=	78
>	9	>=	57

Query 15

Status	unknown
Inferred Status	None
Size	138525
Compressed Size	21401
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	102	or	1
and	97	=>	143	=	779	forall	117
exists	2	Int	194	div	1	+	37
-	44	*	4	<	9	<=	77
>	9	>=	56

Query 16

Status	unknown
Inferred Status	None
Size	138544
Compressed Size	21399
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	102	or	1
and	97	=>	143	=	779	forall	117
exists	2	Int	194	div	1	+	37
-	44	*	4	<	9	<=	77
>	9	>=	56

Query 17

Status	unknown
Inferred Status	None
Size	138529
Compressed Size	21407
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	102	or	1
and	97	=>	143	=	779	forall	117
exists	2	Int	194	div	1	+	37
-	45	*	4	<	9	<=	77
>	9	>=	56

Query 18

Status	unknown
Inferred Status	None
Size	135688
Compressed Size	20915
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	100	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 19

Status	unknown
Inferred Status	None
Size	135713
Compressed Size	20918
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	100	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 20

Status	unknown
Inferred Status	None
Size	135726
Compressed Size	20918
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	100	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 21

Status	unknown
Inferred Status	None
Size	135753
Compressed Size	20922
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	100	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 22

Status	unknown
Inferred Status	None
Size	135772
Compressed Size	20924
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	100	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 23

Status	unknown
Inferred Status	None
Size	135795
Compressed Size	20929
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	101	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 24

Status	unknown
Inferred Status	None
Size	135814
Compressed Size	20930
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	101	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 25

Status	unknown
Inferred Status	None
Size	135833
Compressed Size	20930
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	101	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 26

Status	unknown
Inferred Status	None
Size	135852
Compressed Size	20932
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	101	or	1
and	94	=>	141	=	771	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	71
>	7	>=	54

Query 27

Status	unknown
Inferred Status	None
Size	136941
Compressed Size	21139
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 28

Status	unknown
Inferred Status	None
Size	136960
Compressed Size	21141
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 29

Status	unknown
Inferred Status	None
Size	136841
Compressed Size	21126
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 30

Status	unknown
Inferred Status	None
Size	136873
Compressed Size	21134
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 31

Status	unknown
Inferred Status	None
Size	136892
Compressed Size	21135
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 32

Status	unknown
Inferred Status	None
Size	136898
Compressed Size	21129
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 33

Status	unknown
Inferred Status	None
Size	137297
Compressed Size	21183
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 34

Status	unknown
Inferred Status	None
Size	137004
Compressed Size	21150
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 35

Status	unknown
Inferred Status	None
Size	137251
Compressed Size	21167
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 36

Status	unknown
Inferred Status	None
Size	137271
Compressed Size	21170
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 37

Status	unknown
Inferred Status	None
Size	137135
Compressed Size	21162
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 38

Status	unknown
Inferred Status	None
Size	137875
Compressed Size	21225
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 39

Status	unknown
Inferred Status	None
Size	137895
Compressed Size	21230
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 40

Status	unknown
Inferred Status	None
Size	137183
Compressed Size	21167
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	59

Query 41

Status	unknown
Inferred Status	None
Size	137223
Compressed Size	21178
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	103	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 42

Status	unknown
Inferred Status	None
Size	137114
Compressed Size	21154
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	59

Query 43

Status	unknown
Inferred Status	None
Size	137135
Compressed Size	21164
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	74
>	8	>=	58

Query 44

Status	unknown
Inferred Status	None
Size	137181
Compressed Size	21181
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	103	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 45

Status	unknown
Inferred Status	None
Size	137202
Compressed Size	21186
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	103	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 46

Status	unknown
Inferred Status	None
Size	137265
Compressed Size	21196
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 47

Status	unknown
Inferred Status	None
Size	137399
Compressed Size	21213
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 48

Status	unknown
Inferred Status	None
Size	137420
Compressed Size	21212
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 49

Status	unknown
Inferred Status	None
Size	137439
Compressed Size	21216
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 50

Status	unknown
Inferred Status	None
Size	137460
Compressed Size	21214
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 51

Status	unknown
Inferred Status	None
Size	137438
Compressed Size	21206
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 52

Status	unknown
Inferred Status	None
Size	137320
Compressed Size	21189
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 53

Status	unknown
Inferred Status	None
Size	137339
Compressed Size	21192
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 54

Status	unknown
Inferred Status	None
Size	137360
Compressed Size	21191
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 55

Status	unknown
Inferred Status	None
Size	137379
Compressed Size	21194
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 56

Status	unknown
Inferred Status	None
Size	137400
Compressed Size	21193
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 57

Status	unknown
Inferred Status	None
Size	137926
Compressed Size	21256
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 58

Status	unknown
Inferred Status	None
Size	137945
Compressed Size	21273
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 59

Status	unknown
Inferred Status	None
Size	137472
Compressed Size	21202
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 60

Status	unknown
Inferred Status	None
Size	137493
Compressed Size	21201
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 61

Status	unknown
Inferred Status	None
Size	137567
Compressed Size	21215
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 62

Status	unknown
Inferred Status	None
Size	137660
Compressed Size	21228
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 63

Status	unknown
Inferred Status	None
Size	137722
Compressed Size	21232
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 64

Status	unknown
Inferred Status	None
Size	137855
Compressed Size	21241
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 65

Status	unknown
Inferred Status	None
Size	137876
Compressed Size	21242
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 66

Status	unknown
Inferred Status	None
Size	137895
Compressed Size	21243
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 67

Status	unknown
Inferred Status	None
Size	137916
Compressed Size	21242
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 68

Status	unknown
Inferred Status	None
Size	137821
Compressed Size	21237
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 69

Status	unknown
Inferred Status	None
Size	138645
Compressed Size	21304
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 70

Status	unknown
Inferred Status	None
Size	138540
Compressed Size	21295
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 71

Status	unknown
Inferred Status	None
Size	138559
Compressed Size	21325
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 72

Status	unknown
Inferred Status	None
Size	138706
Compressed Size	21301
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 73

Status	unknown
Inferred Status	None
Size	137909
Compressed Size	21249
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	59

Query 74

Status	unknown
Inferred Status	None
Size	137930
Compressed Size	21246
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	59

Query 75

Status	unknown
Inferred Status	None
Size	137793
Compressed Size	21223
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	74
>	8	>=	58

Query 76

Status	unknown
Inferred Status	None
Size	137989
Compressed Size	21265
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	103	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 77

Status	unknown
Inferred Status	None
Size	138010
Compressed Size	21261
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	103	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 78

Status	unknown
Inferred Status	None
Size	137858
Compressed Size	21237
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	59

Query 79

Status	unknown
Inferred Status	None
Size	137879
Compressed Size	21235
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	59

Query 80

Status	unknown
Inferred Status	None
Size	137899
Compressed Size	21239
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	74
>	8	>=	58

Query 81

Status	unknown
Inferred Status	None
Size	137920
Compressed Size	21237
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	773	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	74
>	8	>=	58

Query 82

Status	unknown
Inferred Status	None
Size	137952
Compressed Size	21235
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 83

Status	unknown
Inferred Status	None
Size	137956
Compressed Size	21226
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 84

Status	unknown
Inferred Status	None
Size	137989
Compressed Size	21235
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 85

Status	unknown
Inferred Status	None
Size	137996
Compressed Size	21226
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 86

Status	unknown
Inferred Status	None
Size	138029
Compressed Size	21235
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 87

Status	unknown
Inferred Status	None
Size	138062
Compressed Size	21244
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 88

Status	unknown
Inferred Status	None
Size	138080
Compressed Size	21245
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 89

Status	unknown
Inferred Status	None
Size	138144
Compressed Size	21257
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 90

Status	unknown
Inferred Status	None
Size	138164
Compressed Size	21258
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 91

Status	unknown
Inferred Status	None
Size	138256
Compressed Size	21264
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 92

Status	unknown
Inferred Status	None
Size	138318
Compressed Size	21273
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 93

Status	unknown
Inferred Status	None
Size	138296
Compressed Size	21268
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 94

Status	unknown
Inferred Status	None
Size	138316
Compressed Size	21268
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 95

Status	unknown
Inferred Status	None
Size	138378
Compressed Size	21277
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 96

Status	unknown
Inferred Status	None
Size	138398
Compressed Size	21279
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 97

Status	unknown
Inferred Status	None
Size	138376
Compressed Size	21273
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 98

Status	unknown
Inferred Status	None
Size	138396
Compressed Size	21273
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 99

Status	unknown
Inferred Status	None
Size	138782
Compressed Size	21317
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58

Query 100

Status	unknown
Inferred Status	None
Size	138676
Compressed Size	21308
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1304
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	32
Declared Datatypes	0

Symbols

true	6	Bool	32	not	102	or	1
and	94	=>	144	=	774	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	73
>	8	>=	58