Benchmark

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

Benchmark without description.

Benchmark
Size	620968
Compressed Size	45134
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	855

Query 1

Status	unknown
Inferred Status	None
Size	139514
Compressed Size	21486
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139529
Compressed Size	21488
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139548
Compressed Size	21483
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139563
Compressed Size	21489
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139587
Compressed Size	21487
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139606
Compressed Size	21486
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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 7

Status	unknown
Inferred Status	None
Size	139626
Compressed Size	21494
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139645
Compressed Size	21494
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139664
Compressed Size	21497
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139680
Compressed Size	21501
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139700
Compressed Size	21501
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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	139725
Compressed Size	21509
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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 13

Status	unknown
Inferred Status	None
Size	139761
Compressed Size	21509
Max. Term Depth	34
Asserts	10
Declared Functions	478
Declared Constants	1338
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 14

Status	unknown
Inferred Status	None
Size	139659
Compressed Size	21555
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1338
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 15

Status	unknown
Inferred Status	None
Size	139827
Compressed Size	21592
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1338
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 16

Status	unknown
Inferred Status	None
Size	139749
Compressed Size	21563
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1338
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	139768
Compressed Size	21564
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1338
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 18

Status	unknown
Inferred Status	None
Size	139753
Compressed Size	21571
Max. Term Depth	34
Asserts	56
Declared Functions	478
Declared Constants	1338
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 19

Status	unknown
Inferred Status	None
Size	136912
Compressed Size	21073
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	136937
Compressed Size	21075
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	136950
Compressed Size	21077
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	136977
Compressed Size	21079
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	136996
Compressed Size	21080
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 24

Status	unknown
Inferred Status	None
Size	137019
Compressed Size	21084
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	137038
Compressed Size	21086
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	137057
Compressed Size	21085
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	137076
Compressed Size	21088
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 28

Status	unknown
Inferred Status	None
Size	138165
Compressed Size	21294
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138184
Compressed Size	21298
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 30

Status	unknown
Inferred Status	None
Size	138065
Compressed Size	21281
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138097
Compressed Size	21290
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138116
Compressed Size	21291
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138122
Compressed Size	21285
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138521
Compressed Size	21340
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138228
Compressed Size	21306
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138475
Compressed Size	21324
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138495
Compressed Size	21327
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138359
Compressed Size	21319
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139099
Compressed Size	21383
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139119
Compressed Size	21387
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 41

Status	unknown
Inferred Status	None
Size	138407
Compressed Size	21321
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 42

Status	unknown
Inferred Status	None
Size	138447
Compressed Size	21332
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 43

Status	unknown
Inferred Status	None
Size	138338
Compressed Size	21311
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 44

Status	unknown
Inferred Status	None
Size	138359
Compressed Size	21320
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 45

Status	unknown
Inferred Status	None
Size	138405
Compressed Size	21337
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138426
Compressed Size	21339
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 47

Status	unknown
Inferred Status	None
Size	138489
Compressed Size	21353
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138623
Compressed Size	21378
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138644
Compressed Size	21367
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138663
Compressed Size	21379
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138684
Compressed Size	21370
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138662
Compressed Size	21363
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 53

Status	unknown
Inferred Status	None
Size	138544
Compressed Size	21355
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138563
Compressed Size	21359
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138584
Compressed Size	21357
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138603
Compressed Size	21364
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138624
Compressed Size	21359
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139150
Compressed Size	21415
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139169
Compressed Size	21435
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138696
Compressed Size	21371
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138717
Compressed Size	21368
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138791
Compressed Size	21381
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138884
Compressed Size	21391
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	138946
Compressed Size	21398
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139079
Compressed Size	21405
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139100
Compressed Size	21406
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139119
Compressed Size	21408
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139140
Compressed Size	21406
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139045
Compressed Size	21405
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139869
Compressed Size	21468
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139764
Compressed Size	21456
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139783
Compressed Size	21487
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139930
Compressed Size	21462
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 74

Status	unknown
Inferred Status	None
Size	139133
Compressed Size	21416
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139154
Compressed Size	21412
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 76

Status	unknown
Inferred Status	None
Size	139017
Compressed Size	21387
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 77

Status	unknown
Inferred Status	None
Size	139213
Compressed Size	21421
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139234
Compressed Size	21419
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 79

Status	unknown
Inferred Status	None
Size	139082
Compressed Size	21394
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139103
Compressed Size	21392
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 81

Status	unknown
Inferred Status	None
Size	139123
Compressed Size	21396
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139144
Compressed Size	21397
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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 83

Status	unknown
Inferred Status	None
Size	139176
Compressed Size	21400
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139180
Compressed Size	21393
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139213
Compressed Size	21400
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139220
Compressed Size	21394
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139253
Compressed Size	21401
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139286
Compressed Size	21408
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139304
Compressed Size	21405
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139368
Compressed Size	21419
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139388
Compressed Size	21423
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139480
Compressed Size	21426
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139542
Compressed Size	21435
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139520
Compressed Size	21430
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139540
Compressed Size	21430
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139602
Compressed Size	21439
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139622
Compressed Size	21439
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139600
Compressed Size	21433
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	139620
Compressed Size	21437
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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	140006
Compressed Size	21477
Max. Term Depth	34
Asserts	13
Declared Functions	478
Declared Constants	1338
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