Benchmark

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

Benchmark without description.

Benchmark
Size	271236
Compressed Size	28958
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	494

Query 1

Status	unknown
Inferred Status	None
Size	117068
Compressed Size	18897
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	98	or	1
and	91	=>	139	=	735	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 2

Status	unknown
Inferred Status	None
Size	117114
Compressed Size	18912
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	98	or	1
and	91	=>	139	=	735	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 3

Status	unknown
Inferred Status	None
Size	117134
Compressed Size	18914
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	98	or	1
and	91	=>	139	=	735	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 4

Status	unknown
Inferred Status	None
Size	117153
Compressed Size	18913
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	98	or	1
and	91	=>	139	=	735	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 5

Status	unknown
Inferred Status	None
Size	116963
Compressed Size	18865
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	98	or	1
and	91	=>	138	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 6

Status	unknown
Inferred Status	None
Size	116978
Compressed Size	18867
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	98	or	1
and	91	=>	138	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 7

Status	unknown
Inferred Status	None
Size	117147
Compressed Size	18913
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	98	or	1
and	92	=>	139	=	735	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 8

Status	unknown
Inferred Status	None
Size	117134
Compressed Size	18913
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	98	or	1
and	91	=>	139	=	735	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 9

Status	unknown
Inferred Status	None
Size	117150
Compressed Size	18914
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	11
Declared Datatypes	0

Symbols

true	6	Bool	11	not	98	or	1
and	91	=>	139	=	735	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 10

Status	unknown
Inferred Status	None
Size	117223
Compressed Size	18926
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	98	or	1
and	91	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	10	<=	67
>	7	>=	55

Query 11

Status	unknown
Inferred Status	None
Size	117290
Compressed Size	18931
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	98	or	1
and	91	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 12

Status	unknown
Inferred Status	None
Size	121765
Compressed Size	19561
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	or	1
and	92	=>	141	=	745	forall	116
exists	1	Int	192	div	1	+	39
-	48	*	4	<	11	<=	71
>	7	>=	56

Query 13

Status	unknown
Inferred Status	None
Size	122055
Compressed Size	19663
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	or	1
and	93	=>	142	=	745	forall	116
exists	1	Int	192	div	1	+	39
-	48	*	4	<	11	<=	71
>	7	>=	56

Query 14

Status	unknown
Inferred Status	None
Size	122126
Compressed Size	19672
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	or	1
and	93	=>	142	=	745	forall	116
exists	1	Int	192	div	1	+	39
-	48	*	4	<	11	<=	71
>	7	>=	56

Query 15

Status	unknown
Inferred Status	None
Size	122217
Compressed Size	19691
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	55
Declared Datatypes	0

Symbols

true	6	Bool	55	not	99	or	1
and	93	=>	142	=	745	forall	116
exists	1	Int	192	div	1	+	39
-	48	*	4	<	11	<=	71
>	7	>=	56

Query 16

Status	unknown
Inferred Status	None
Size	117878
Compressed Size	19050
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	100	or	1
and	91	=>	138	=	737	forall	115
exists	1	Int	191	div	1	+	36
-	43	*	4	<	9	<=	67
>	7	>=	54

Query 17

Status	unknown
Inferred Status	None
Size	118090
Compressed Size	19080
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	100	or	1
and	92	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	36
-	43	*	4	<	9	<=	67
>	7	>=	54

Query 18

Status	unknown
Inferred Status	None
Size	118421
Compressed Size	19115
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	100	or	1
and	92	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	38
-	45	*	4	<	9	<=	67
>	7	>=	54

Query 19

Status	unknown
Inferred Status	None
Size	118000
Compressed Size	19077
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	100	or	1
and	92	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	36
-	43	*	4	<	9	<=	68
>	7	>=	54

Query 20

Status	unknown
Inferred Status	None
Size	117676
Compressed Size	18991
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	101	or	3
and	93	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	67
>	10	>=	54

Query 21

Status	unknown
Inferred Status	None
Size	117665
Compressed Size	18998
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	101	or	3
and	93	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	12	<=	67
>	9	>=	54

Query 22

Status	unknown
Inferred Status	None
Size	117698
Compressed Size	19013
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	67
>	9	>=	54

Query 23

Status	unknown
Inferred Status	None
Size	117717
Compressed Size	19021
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	67
>	9	>=	54

Query 24

Status	unknown
Inferred Status	None
Size	117737
Compressed Size	19017
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	67
>	9	>=	54

Query 25

Status	unknown
Inferred Status	None
Size	117756
Compressed Size	19024
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	67
>	9	>=	54

Query 26

Status	unknown
Inferred Status	None
Size	117785
Compressed Size	19024
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	11	<=	67
>	9	>=	54

Query 27

Status	unknown
Inferred Status	None
Size	117836
Compressed Size	19032
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	11	<=	67
>	9	>=	54

Query 28

Status	unknown
Inferred Status	None
Size	117870
Compressed Size	19036
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	67
>	9	>=	54

Query 29

Status	unknown
Inferred Status	None
Size	117890
Compressed Size	19043
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	3
and	94	=>	139	=	739	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	67
>	9	>=	54

Query 30

Status	unknown
Inferred Status	None
Size	117960
Compressed Size	19043
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	91	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 31

Status	unknown
Inferred Status	None
Size	117968
Compressed Size	19040
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	91	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 32

Status	unknown
Inferred Status	None
Size	118003
Compressed Size	19050
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 33

Status	unknown
Inferred Status	None
Size	118042
Compressed Size	19053
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 34

Status	unknown
Inferred Status	None
Size	118061
Compressed Size	19053
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 35

Status	unknown
Inferred Status	None
Size	118165
Compressed Size	19063
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	2
and	92	=>	139	=	734	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 36

Status	unknown
Inferred Status	None
Size	118188
Compressed Size	19072
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 37

Status	unknown
Inferred Status	None
Size	118103
Compressed Size	19064
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 38

Status	unknown
Inferred Status	None
Size	118142
Compressed Size	19068
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 39

Status	unknown
Inferred Status	None
Size	118162
Compressed Size	19066
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 40

Status	unknown
Inferred Status	None
Size	118267
Compressed Size	19080
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	100	or	2
and	92	=>	139	=	734	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 41

Status	unknown
Inferred Status	None
Size	118291
Compressed Size	19089
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	99	or	1
and	92	=>	139	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	67
>	7	>=	55

Query 42

Status	unknown
Inferred Status	None
Size	117889
Compressed Size	19060
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	98	or	2
and	94	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	69
>	8	>=	56

Query 43

Status	unknown
Inferred Status	None
Size	117999
Compressed Size	19079
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	98	or	2
and	94	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	69
>	8	>=	56

Query 44

Status	unknown
Inferred Status	None
Size	117934
Compressed Size	19070
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	98	or	2
and	94	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	69
>	8	>=	56

Query 45

Status	unknown
Inferred Status	None
Size	117954
Compressed Size	19072
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	98	or	2
and	94	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	69
>	8	>=	56

Query 46

Status	unknown
Inferred Status	None
Size	117974
Compressed Size	19074
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	98	or	2
and	94	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	43	*	4	<	10	<=	69
>	8	>=	56

Query 47

Status	unknown
Inferred Status	None
Size	118144
Compressed Size	19084
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	98	or	2
and	94	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	37
-	44	*	4	<	10	<=	69
>	8	>=	56

Query 48

Status	unknown
Inferred Status	None
Size	118164
Compressed Size	19088
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	98	or	2
and	94	=>	139	=	737	forall	115
exists	1	Int	191	div	1	+	37
-	44	*	4	<	10	<=	69
>	8	>=	56

Query 49

Status	unknown
Inferred Status	None
Size	117177
Compressed Size	18902
Max. Term Depth	34
Asserts	12
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	98	or	1
and	91	=>	138	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 50

Status	unknown
Inferred Status	None
Size	117128
Compressed Size	18883
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	98	or	1
and	91	=>	138	=	733	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 51

Status	unknown
Inferred Status	None
Size	118211
Compressed Size	19129
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	91	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 52

Status	unknown
Inferred Status	None
Size	118221
Compressed Size	19131
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	91	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 53

Status	unknown
Inferred Status	None
Size	118373
Compressed Size	19157
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	91	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 54

Status	unknown
Inferred Status	None
Size	118393
Compressed Size	19155
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	91	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 55

Status	unknown
Inferred Status	None
Size	118649
Compressed Size	19190
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	91	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 56

Status	unknown
Inferred Status	None
Size	118423
Compressed Size	19158
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	91	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	70
>	8	>=	57

Query 57

Status	unknown
Inferred Status	None
Size	118362
Compressed Size	19161
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 58

Status	unknown
Inferred Status	None
Size	118382
Compressed Size	19163
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 59

Status	unknown
Inferred Status	None
Size	118392
Compressed Size	19169
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 60

Status	unknown
Inferred Status	None
Size	118413
Compressed Size	19171
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 61

Status	unknown
Inferred Status	None
Size	118434
Compressed Size	19175
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 62

Status	unknown
Inferred Status	None
Size	118515
Compressed Size	19182
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 63

Status	unknown
Inferred Status	None
Size	118650
Compressed Size	19203
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 64

Status	unknown
Inferred Status	None
Size	118671
Compressed Size	19206
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 65

Status	unknown
Inferred Status	None
Size	118692
Compressed Size	19204
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 66

Status	unknown
Inferred Status	None
Size	118713
Compressed Size	19208
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 67

Status	unknown
Inferred Status	None
Size	118692
Compressed Size	19209
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 68

Status	unknown
Inferred Status	None
Size	119075
Compressed Size	19261
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 69

Status	unknown
Inferred Status	None
Size	119096
Compressed Size	19265
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 70

Status	unknown
Inferred Status	None
Size	118787
Compressed Size	19217
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	70
>	8	>=	57

Query 71

Status	unknown
Inferred Status	None
Size	118808
Compressed Size	19219
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	70
>	8	>=	57

Query 72

Status	unknown
Inferred Status	None
Size	118681
Compressed Size	19202
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	69
>	8	>=	57

Query 73

Status	unknown
Inferred Status	None
Size	118712
Compressed Size	19206
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1199
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	100	or	1
and	92	=>	142	=	737	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	11	<=	70
>	8	>=	57

Query 74

Status	unknown
Inferred Status	None
Size	118555
Compressed Size	19177
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	91	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 75

Status	unknown
Inferred Status	None
Size	118565
Compressed Size	19179
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	91	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 76

Status	unknown
Inferred Status	None
Size	118645
Compressed Size	19197
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	91	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 77

Status	unknown
Inferred Status	None
Size	118665
Compressed Size	19195
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	91	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 78

Status	unknown
Inferred Status	None
Size	118849
Compressed Size	19235
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	91	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 79

Status	unknown
Inferred Status	None
Size	118695
Compressed Size	19197
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	91	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	55

Query 80

Status	unknown
Inferred Status	None
Size	118691
Compressed Size	19194
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 81

Status	unknown
Inferred Status	None
Size	118711
Compressed Size	19196
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 82

Status	unknown
Inferred Status	None
Size	118721
Compressed Size	19200
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 83

Status	unknown
Inferred Status	None
Size	118742
Compressed Size	19204
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 84

Status	unknown
Inferred Status	None
Size	118763
Compressed Size	19207
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 85

Status	unknown
Inferred Status	None
Size	118865
Compressed Size	19227
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 86

Status	unknown
Inferred Status	None
Size	118886
Compressed Size	19230
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 87

Status	unknown
Inferred Status	None
Size	118907
Compressed Size	19226
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 88

Status	unknown
Inferred Status	None
Size	118928
Compressed Size	19230
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 89

Status	unknown
Inferred Status	None
Size	118907
Compressed Size	19229
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 90

Status	unknown
Inferred Status	None
Size	119000
Compressed Size	19240
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 91

Status	unknown
Inferred Status	None
Size	119197
Compressed Size	19280
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 92

Status	unknown
Inferred Status	None
Size	119218
Compressed Size	19283
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 93

Status	unknown
Inferred Status	None
Size	119023
Compressed Size	19243
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	55

Query 94

Status	unknown
Inferred Status	None
Size	119044
Compressed Size	19245
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	55

Query 95

Status	unknown
Inferred Status	None
Size	119031
Compressed Size	19247
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 96

Status	unknown
Inferred Status	None
Size	119062
Compressed Size	19250
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	70
>	7	>=	55

Query 97

Status	unknown
Inferred Status	None
Size	119086
Compressed Size	19257
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 98

Status	unknown
Inferred Status	None
Size	119107
Compressed Size	19259
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 99

Status	unknown
Inferred Status	None
Size	119178
Compressed Size	19268
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55

Query 100

Status	unknown
Inferred Status	None
Size	119241
Compressed Size	19286
Max. Term Depth	34
Asserts	14
Declared Functions	126
Declared Constants	1199
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	92	=>	140	=	745	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	69
>	7	>=	55