Benchmark

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

Benchmark without description.

Benchmark
Size	282925
Compressed Size	27456
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	638

Query 1

Status	unknown
Inferred Status	None
Size	113698
Compressed Size	18037
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 2

Status	unknown
Inferred Status	None
Size	113744
Compressed Size	18047
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 3

Status	unknown
Inferred Status	None
Size	113785
Compressed Size	18058
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 4

Status	unknown
Inferred Status	None
Size	113834
Compressed Size	18071
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 5

Status	unknown
Inferred Status	None
Size	113853
Compressed Size	18074
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 6

Status	unknown
Inferred Status	None
Size	113800
Compressed Size	18051
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 7

Status	unknown
Inferred Status	None
Size	113836
Compressed Size	18055
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 8

Status	unknown
Inferred Status	None
Size	113867
Compressed Size	18061
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 9

Status	unknown
Inferred Status	None
Size	113886
Compressed Size	18063
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 10

Status	unknown
Inferred Status	None
Size	113923
Compressed Size	18069
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 11

Status	unknown
Inferred Status	None
Size	113923
Compressed Size	18071
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 12

Status	unknown
Inferred Status	None
Size	112525
Compressed Size	17864
Max. Term Depth	34
Asserts	22
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	710	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 13

Status	unknown
Inferred Status	None
Size	112544
Compressed Size	17869
Max. Term Depth	34
Asserts	22
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	710	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 14

Status	unknown
Inferred Status	None
Size	112563
Compressed Size	17873
Max. Term Depth	34
Asserts	22
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 15

Status	unknown
Inferred Status	None
Size	113894
Compressed Size	18102
Max. Term Depth	34
Asserts	27
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	7	Bool	24	not	80	or	1
and	55	=>	83	=	715	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 16

Status	unknown
Inferred Status	None
Size	113913
Compressed Size	18108
Max. Term Depth	34
Asserts	27
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	7	Bool	24	not	80	or	1
and	55	=>	83	=	715	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 17

Status	unknown
Inferred Status	None
Size	113932
Compressed Size	18113
Max. Term Depth	34
Asserts	27
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	7	Bool	24	not	80	or	1
and	55	=>	83	=	715	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 18

Status	unknown
Inferred Status	None
Size	112674
Compressed Size	17892
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 19

Status	unknown
Inferred Status	None
Size	112693
Compressed Size	17898
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 20

Status	unknown
Inferred Status	None
Size	112712
Compressed Size	17901
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 21

Status	unknown
Inferred Status	None
Size	112731
Compressed Size	17903
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	712	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 22

Status	unknown
Inferred Status	None
Size	114235
Compressed Size	18173
Max. Term Depth	34
Asserts	31
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 23

Status	unknown
Inferred Status	None
Size	114231
Compressed Size	18176
Max. Term Depth	34
Asserts	31
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 24

Status	unknown
Inferred Status	None
Size	114250
Compressed Size	18175
Max. Term Depth	34
Asserts	31
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 25

Status	unknown
Inferred Status	None
Size	114269
Compressed Size	18179
Max. Term Depth	34
Asserts	31
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 26

Status	unknown
Inferred Status	None
Size	112704
Compressed Size	17891
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 27

Status	unknown
Inferred Status	None
Size	112723
Compressed Size	17896
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 28

Status	unknown
Inferred Status	None
Size	112742
Compressed Size	17899
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 29

Status	unknown
Inferred Status	None
Size	112761
Compressed Size	17900
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 30

Status	unknown
Inferred Status	None
Size	112780
Compressed Size	17903
Max. Term Depth	34
Asserts	25
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	712	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 31

Status	unknown
Inferred Status	None
Size	114358
Compressed Size	18178
Max. Term Depth	34
Asserts	32
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 32

Status	unknown
Inferred Status	None
Size	114354
Compressed Size	18185
Max. Term Depth	34
Asserts	32
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 33

Status	unknown
Inferred Status	None
Size	114373
Compressed Size	18184
Max. Term Depth	34
Asserts	32
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 34

Status	unknown
Inferred Status	None
Size	114392
Compressed Size	18189
Max. Term Depth	34
Asserts	32
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	717	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 35

Status	unknown
Inferred Status	None
Size	112654
Compressed Size	17888
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	710	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 36

Status	unknown
Inferred Status	None
Size	112673
Compressed Size	17891
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	710	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 37

Status	unknown
Inferred Status	None
Size	112692
Compressed Size	17892
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	710	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 38

Status	unknown
Inferred Status	None
Size	112711
Compressed Size	17896
Max. Term Depth	34
Asserts	23
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	711	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 39

Status	unknown
Inferred Status	None
Size	114110
Compressed Size	18150
Max. Term Depth	34
Asserts	29
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	7	Bool	24	not	80	or	1
and	55	=>	83	=	715	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 40

Status	unknown
Inferred Status	None
Size	114106
Compressed Size	18152
Max. Term Depth	34
Asserts	29
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	7	Bool	24	not	80	or	1
and	55	=>	83	=	715	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 41

Status	unknown
Inferred Status	None
Size	114125
Compressed Size	18152
Max. Term Depth	34
Asserts	29
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	7	Bool	24	not	80	or	1
and	55	=>	83	=	715	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 42

Status	unknown
Inferred Status	None
Size	112604
Compressed Size	17874
Max. Term Depth	34
Asserts	21
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	709	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 43

Status	unknown
Inferred Status	None
Size	112623
Compressed Size	17879
Max. Term Depth	34
Asserts	21
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	709	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 44

Status	unknown
Inferred Status	None
Size	112642
Compressed Size	17883
Max. Term Depth	34
Asserts	21
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	80	or	1
and	54	=>	82	=	710	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 45

Status	unknown
Inferred Status	None
Size	113864
Compressed Size	18109
Max. Term Depth	34
Asserts	26
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	80	or	1
and	55	=>	83	=	713	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 46

Status	unknown
Inferred Status	None
Size	113861
Compressed Size	18114
Max. Term Depth	34
Asserts	26
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	7	Bool	23	not	80	or	1
and	55	=>	83	=	713	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 47

Status	unknown
Inferred Status	None
Size	114022
Compressed Size	18099
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 48

Status	unknown
Inferred Status	None
Size	114042
Compressed Size	18106
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 49

Status	unknown
Inferred Status	None
Size	114084
Compressed Size	18107
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 50

Status	unknown
Inferred Status	None
Size	114134
Compressed Size	18127
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 51

Status	unknown
Inferred Status	None
Size	114154
Compressed Size	18125
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 52

Status	unknown
Inferred Status	None
Size	114102
Compressed Size	18105
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 53

Status	unknown
Inferred Status	None
Size	114139
Compressed Size	18113
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 54

Status	unknown
Inferred Status	None
Size	114171
Compressed Size	18118
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 55

Status	unknown
Inferred Status	None
Size	114191
Compressed Size	18117
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 56

Status	unknown
Inferred Status	None
Size	114229
Compressed Size	18124
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 57

Status	unknown
Inferred Status	None
Size	114230
Compressed Size	18122
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 58

Status	unknown
Inferred Status	None
Size	113457
Compressed Size	18035
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	708	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 59

Status	unknown
Inferred Status	None
Size	113477
Compressed Size	18041
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	708	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 60

Status	unknown
Inferred Status	None
Size	113519
Compressed Size	18048
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	708	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 61

Status	unknown
Inferred Status	None
Size	113569
Compressed Size	18059
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	708	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 62

Status	unknown
Inferred Status	None
Size	113589
Compressed Size	18062
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	708	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 63

Status	unknown
Inferred Status	None
Size	113521
Compressed Size	18038
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	709	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	37
>	3	>=	34

Query 64

Status	unknown
Inferred Status	None
Size	113574
Compressed Size	18049
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	708	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	38
>	3	>=	34

Query 65

Status	unknown
Inferred Status	None
Size	113623
Compressed Size	18053
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	7	Bool	25	not	80	or	1
and	55	=>	83	=	708	forall	74
exists	1	Int	97	div	1	+	13
-	25	*	4	<	5	<=	38
>	3	>=	34

Query 66

Status	unknown
Inferred Status	None
Size	113982
Compressed Size	18086
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 67

Status	unknown
Inferred Status	None
Size	114002
Compressed Size	18091
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 68

Status	unknown
Inferred Status	None
Size	114044
Compressed Size	18098
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 69

Status	unknown
Inferred Status	None
Size	114094
Compressed Size	18112
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 70

Status	unknown
Inferred Status	None
Size	114114
Compressed Size	18115
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	3	>=	34

Query 71

Status	unknown
Inferred Status	None
Size	114062
Compressed Size	18091
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 72

Status	unknown
Inferred Status	None
Size	114099
Compressed Size	18099
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 73

Status	unknown
Inferred Status	None
Size	114131
Compressed Size	18104
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 74

Status	unknown
Inferred Status	None
Size	114151
Compressed Size	18103
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 75

Status	unknown
Inferred Status	None
Size	114189
Compressed Size	18112
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 76

Status	unknown
Inferred Status	None
Size	114190
Compressed Size	18108
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	29
Declared Datatypes	0

Symbols

true	7	Bool	29	not	80	or	1
and	56	=>	87	=	706	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	42
>	3	>=	34

Query 77

Status	unknown
Inferred Status	None
Size	115555
Compressed Size	18278
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 78

Status	unknown
Inferred Status	None
Size	115576
Compressed Size	18280
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 79

Status	unknown
Inferred Status	None
Size	115615
Compressed Size	18292
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 80

Status	unknown
Inferred Status	None
Size	115647
Compressed Size	18292
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 81

Status	unknown
Inferred Status	None
Size	115668
Compressed Size	18288
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 82

Status	unknown
Inferred Status	None
Size	115747
Compressed Size	18303
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 83

Status	unknown
Inferred Status	None
Size	115682
Compressed Size	18292
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 84

Status	unknown
Inferred Status	None
Size	115698
Compressed Size	18292
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 85

Status	unknown
Inferred Status	None
Size	115754
Compressed Size	18303
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 86

Status	unknown
Inferred Status	None
Size	115763
Compressed Size	18307
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 87

Status	unknown
Inferred Status	None
Size	115770
Compressed Size	18308
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 88

Status	unknown
Inferred Status	None
Size	115787
Compressed Size	18310
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 89

Status	unknown
Inferred Status	None
Size	115844
Compressed Size	18317
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 90

Status	unknown
Inferred Status	None
Size	115853
Compressed Size	18319
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 91

Status	unknown
Inferred Status	None
Size	115911
Compressed Size	18330
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 92

Status	unknown
Inferred Status	None
Size	115956
Compressed Size	18341
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 93

Status	unknown
Inferred Status	None
Size	115989
Compressed Size	18344
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 94

Status	unknown
Inferred Status	None
Size	115998
Compressed Size	18348
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 95

Status	unknown
Inferred Status	None
Size	116014
Compressed Size	18346
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 96

Status	unknown
Inferred Status	None
Size	116058
Compressed Size	18351
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 97

Status	unknown
Inferred Status	None
Size	116043
Compressed Size	18346
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 98

Status	unknown
Inferred Status	None
Size	116088
Compressed Size	18357
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 99

Status	unknown
Inferred Status	None
Size	116121
Compressed Size	18358
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34

Query 100

Status	unknown
Inferred Status	None
Size	116129
Compressed Size	18355
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1339
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	50
Declared Datatypes	0

Symbols

true	7	Bool	50	not	80	or	1
and	56	=>	87	=	726	forall	78
exists	1	Int	102	div	1	+	13
-	25	*	4	<	5	<=	41
>	4	>=	34