Benchmark

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

Benchmark without description.

Benchmark
Size	181816
Compressed Size	23337
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	126

Query 1

Status	unknown
Inferred Status	None
Size	106635
Compressed Size	17482
Max. Term Depth	34
Asserts	10
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	5	Bool	53	not	84	or	1
and	58	=>	82	=	725	forall	75
exists	1	Int	112	div	1	+	27
-	31	*	10	<	5	<=	42
>	3	>=	38

Query 2

Status	unknown
Inferred Status	None
Size	106681
Compressed Size	17490
Max. Term Depth	34
Asserts	10
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	5	Bool	53	not	84	or	1
and	58	=>	82	=	725	forall	75
exists	1	Int	112	div	1	+	27
-	31	*	10	<	5	<=	42
>	3	>=	38

Query 3

Status	unknown
Inferred Status	None
Size	106696
Compressed Size	17497
Max. Term Depth	34
Asserts	10
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	5	Bool	53	not	84	or	1
and	58	=>	82	=	725	forall	75
exists	1	Int	112	div	1	+	27
-	31	*	10	<	5	<=	42
>	3	>=	38

Query 4

Status	unknown
Inferred Status	None
Size	106715
Compressed Size	17492
Max. Term Depth	34
Asserts	10
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	5	Bool	53	not	84	or	1
and	58	=>	82	=	725	forall	75
exists	1	Int	112	div	1	+	27
-	31	*	10	<	5	<=	42
>	3	>=	38

Query 5

Status	unknown
Inferred Status	None
Size	106783
Compressed Size	17510
Max. Term Depth	34
Asserts	10
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	5	Bool	53	not	84	or	1
and	58	=>	82	=	725	forall	75
exists	1	Int	112	div	1	+	27
-	31	*	10	<	5	<=	42
>	3	>=	38

Query 6

Status	unknown
Inferred Status	None
Size	106760
Compressed Size	17504
Max. Term Depth	34
Asserts	10
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	53
Declared Datatypes	0

Symbols

true	5	Bool	53	not	84	or	1
and	58	=>	82	=	725	forall	75
exists	1	Int	112	div	1	+	27
-	31	*	10	<	5	<=	43
>	3	>=	38

Query 7

Status	unknown
Inferred Status	None
Size	107855
Compressed Size	17640
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 8

Status	unknown
Inferred Status	None
Size	107871
Compressed Size	17650
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	35
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 9

Status	unknown
Inferred Status	None
Size	107908
Compressed Size	17663
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 10

Status	unknown
Inferred Status	None
Size	107966
Compressed Size	17678
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 11

Status	unknown
Inferred Status	None
Size	107982
Compressed Size	17691
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	35
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 12

Status	unknown
Inferred Status	None
Size	108022
Compressed Size	17690
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 13

Status	unknown
Inferred Status	None
Size	108038
Compressed Size	17700
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	35
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 14

Status	unknown
Inferred Status	None
Size	108087
Compressed Size	17705
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 15

Status	unknown
Inferred Status	None
Size	108109
Compressed Size	17707
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 16

Status	unknown
Inferred Status	None
Size	108129
Compressed Size	17710
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 17

Status	unknown
Inferred Status	None
Size	108190
Compressed Size	17715
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 18

Status	unknown
Inferred Status	None
Size	108166
Compressed Size	17724
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	35
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 19

Status	unknown
Inferred Status	None
Size	108186
Compressed Size	17727
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	35
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 20

Status	unknown
Inferred Status	None
Size	108365
Compressed Size	17766
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 21

Status	unknown
Inferred Status	None
Size	108385
Compressed Size	17770
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 22

Status	unknown
Inferred Status	None
Size	108441
Compressed Size	17795
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 23

Status	unknown
Inferred Status	None
Size	108423
Compressed Size	17779
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	743	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	43
>	3	>=	39

Query 24

Status	unknown
Inferred Status	None
Size	108439
Compressed Size	17781
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	61
Declared Datatypes	0

Symbols

true	5	Bool	61	not	87	or	4
and	68	=>	88	=	742	forall	74
exists	1	Int	110	div	3	+	34
-	37	*	8	<	7	<=	44
>	3	>=	39

Query 25

Status	unknown
Inferred Status	None
Size	104565
Compressed Size	17163
Max. Term Depth	34
Asserts	14
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	5	Bool	27	not	82	or	1
and	55	=>	80	=	722	forall	73
exists	1	Int	109	div	1	+	28
-	31	*	6	<	5	<=	40
>	3	>=	35

Query 26

Status	unknown
Inferred Status	None
Size	104581
Compressed Size	17173
Max. Term Depth	34
Asserts	14
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	5	Bool	27	not	82	or	1
and	55	=>	80	=	722	forall	73
exists	1	Int	109	div	1	+	29
-	31	*	6	<	5	<=	40
>	3	>=	35

Query 27

Status	unknown
Inferred Status	None
Size	104653
Compressed Size	17184
Max. Term Depth	34
Asserts	14
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	5	Bool	27	not	82	or	1
and	55	=>	80	=	722	forall	73
exists	1	Int	109	div	1	+	28
-	31	*	6	<	5	<=	40
>	3	>=	35

Query 28

Status	unknown
Inferred Status	None
Size	104707
Compressed Size	17192
Max. Term Depth	34
Asserts	14
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	5	Bool	27	not	82	or	1
and	55	=>	80	=	722	forall	73
exists	1	Int	109	div	1	+	28
-	31	*	6	<	5	<=	40
>	3	>=	35

Query 29

Status	unknown
Inferred Status	None
Size	104723
Compressed Size	17205
Max. Term Depth	34
Asserts	14
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	5	Bool	27	not	82	or	1
and	55	=>	80	=	723	forall	73
exists	1	Int	109	div	1	+	28
-	31	*	6	<	5	<=	40
>	3	>=	35

Query 30

Status	unknown
Inferred Status	None
Size	108100
Compressed Size	17718
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	5	Bool	72	not	84	or	1
and	59	=>	83	=	729	forall	76
exists	1	Int	113	div	1	+	27
-	31	*	12	<	5	<=	44
>	3	>=	40

Query 31

Status	unknown
Inferred Status	None
Size	108119
Compressed Size	17723
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	5	Bool	72	not	84	or	1
and	59	=>	83	=	729	forall	76
exists	1	Int	113	div	1	+	27
-	31	*	12	<	5	<=	44
>	3	>=	40

Query 32

Status	unknown
Inferred Status	None
Size	108134
Compressed Size	17732
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	5	Bool	72	not	84	or	1
and	59	=>	83	=	729	forall	76
exists	1	Int	113	div	1	+	27
-	31	*	12	<	5	<=	44
>	3	>=	40

Query 33

Status	unknown
Inferred Status	None
Size	108153
Compressed Size	17726
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	5	Bool	72	not	84	or	1
and	59	=>	83	=	729	forall	76
exists	1	Int	113	div	1	+	27
-	31	*	12	<	5	<=	44
>	3	>=	40

Query 34

Status	unknown
Inferred Status	None
Size	108221
Compressed Size	17740
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	5	Bool	72	not	84	or	1
and	59	=>	83	=	729	forall	76
exists	1	Int	113	div	1	+	27
-	31	*	12	<	5	<=	44
>	3	>=	40

Query 35

Status	unknown
Inferred Status	None
Size	108198
Compressed Size	17739
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	5	Bool	72	not	84	or	1
and	59	=>	83	=	729	forall	76
exists	1	Int	113	div	1	+	27
-	31	*	12	<	5	<=	45
>	3	>=	40

Query 36

Status	unknown
Inferred Status	None
Size	103618
Compressed Size	16976
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	5	Bool	14	not	82	or	1
and	54	=>	79	=	719	forall	73
exists	1	Int	109	div	1	+	27
-	31	*	6	<	5	<=	39
>	3	>=	35

Query 37

Status	unknown
Inferred Status	None
Size	103658
Compressed Size	16996
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	5	Bool	14	not	82	or	1
and	55	=>	80	=	719	forall	73
exists	1	Int	109	div	1	+	27
-	31	*	6	<	5	<=	39
>	3	>=	35

Query 38

Status	unknown
Inferred Status	None
Size	103695
Compressed Size	16998
Max. Term Depth	34
Asserts	13
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	5	Bool	14	not	82	or	1
and	55	=>	80	=	719	forall	73
exists	1	Int	109	div	1	+	27
-	31	*	6	<	5	<=	39
>	3	>=	35

Query 39

Status	unknown
Inferred Status	None
Size	110180
Compressed Size	18023
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 40

Status	unknown
Inferred Status	None
Size	110173
Compressed Size	18023
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 41

Status	unknown
Inferred Status	None
Size	110203
Compressed Size	18030
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 42

Status	unknown
Inferred Status	None
Size	110219
Compressed Size	18033
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	32
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 43

Status	unknown
Inferred Status	None
Size	110297
Compressed Size	18039
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	37	*	9	<	5	<=	41
>	3	>=	37

Query 44

Status	unknown
Inferred Status	None
Size	110331
Compressed Size	18040
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	37	*	10	<	5	<=	41
>	3	>=	37

Query 45

Status	unknown
Inferred Status	None
Size	110357
Compressed Size	18036
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	37	*	10	<	5	<=	41
>	3	>=	37

Query 46

Status	unknown
Inferred Status	None
Size	110282
Compressed Size	18036
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	86	or	1
and	58	=>	81	=	770	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 47

Status	unknown
Inferred Status	None
Size	110353
Compressed Size	18047
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 48

Status	unknown
Inferred Status	None
Size	110370
Compressed Size	18053
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	32
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 49

Status	unknown
Inferred Status	None
Size	110405
Compressed Size	18063
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	32
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 50

Status	unknown
Inferred Status	None
Size	110532
Compressed Size	18063
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	4	+	32
-	38	*	10	<	5	<=	41
>	3	>=	37

Query 51

Status	unknown
Inferred Status	None
Size	110559
Compressed Size	18065
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	4	+	32
-	38	*	10	<	5	<=	41
>	3	>=	37

Query 52

Status	unknown
Inferred Status	None
Size	110641
Compressed Size	18124
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 53

Status	unknown
Inferred Status	None
Size	110669
Compressed Size	18123
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 54

Status	unknown
Inferred Status	None
Size	110689
Compressed Size	18129
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 55

Status	unknown
Inferred Status	None
Size	110709
Compressed Size	18132
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 56

Status	unknown
Inferred Status	None
Size	110729
Compressed Size	18134
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 57

Status	unknown
Inferred Status	None
Size	110749
Compressed Size	18138
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 58

Status	unknown
Inferred Status	None
Size	110771
Compressed Size	18138
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 59

Status	unknown
Inferred Status	None
Size	110879
Compressed Size	18139
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	769	forall	74
exists	1	Int	110	div	4	+	31
-	37	*	10	<	5	<=	41
>	3	>=	37

Query 60

Status	unknown
Inferred Status	None
Size	110979
Compressed Size	18178
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	770	forall	74
exists	1	Int	110	div	4	+	32
-	38	*	10	<	5	<=	41
>	3	>=	37

Query 61

Status	unknown
Inferred Status	None
Size	110935
Compressed Size	18163
Max. Term Depth	34
Asserts	54
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	80
Declared Datatypes	0

Symbols

true	5	Bool	80	not	85	or	1
and	58	=>	81	=	770	forall	74
exists	1	Int	110	div	3	+	31
-	36	*	9	<	5	<=	41
>	3	>=	37

Query 62

Status	unknown
Inferred Status	None
Size	110652
Compressed Size	18042
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 63

Status	unknown
Inferred Status	None
Size	110684
Compressed Size	18049
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 64

Status	unknown
Inferred Status	None
Size	110700
Compressed Size	18057
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	43
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 65

Status	unknown
Inferred Status	None
Size	110745
Compressed Size	18066
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	70	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	45
>	3	>=	41

Query 66

Status	unknown
Inferred Status	None
Size	110759
Compressed Size	18062
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 67

Status	unknown
Inferred Status	None
Size	110778
Compressed Size	18064
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 68

Status	unknown
Inferred Status	None
Size	110797
Compressed Size	18066
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 69

Status	unknown
Inferred Status	None
Size	110816
Compressed Size	18064
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 70

Status	unknown
Inferred Status	None
Size	110835
Compressed Size	18069
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 71

Status	unknown
Inferred Status	None
Size	110855
Compressed Size	18071
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 72

Status	unknown
Inferred Status	None
Size	110875
Compressed Size	18077
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 73

Status	unknown
Inferred Status	None
Size	110895
Compressed Size	18080
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 74

Status	unknown
Inferred Status	None
Size	110915
Compressed Size	18084
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 75

Status	unknown
Inferred Status	None
Size	110935
Compressed Size	18086
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 76

Status	unknown
Inferred Status	None
Size	110968
Compressed Size	18095
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	11	<=	44
>	3	>=	40

Query 77

Status	unknown
Inferred Status	None
Size	111165
Compressed Size	18107
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	783	forall	75
exists	1	Int	111	div	6	+	43
-	45	*	11	<	10	<=	44
>	3	>=	40

Query 78

Status	unknown
Inferred Status	None
Size	111094
Compressed Size	18127
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	44	*	10	<	10	<=	45
>	3	>=	40

Query 79

Status	unknown
Inferred Status	None
Size	111108
Compressed Size	18131
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	43
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 80

Status	unknown
Inferred Status	None
Size	111130
Compressed Size	18132
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	43
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 81

Status	unknown
Inferred Status	None
Size	111157
Compressed Size	18130
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	43
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 82

Status	unknown
Inferred Status	None
Size	111270
Compressed Size	18161
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	43
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 83

Status	unknown
Inferred Status	None
Size	111299
Compressed Size	18161
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	42
-	43	*	10	<	10	<=	44
>	3	>=	40

Query 84

Status	unknown
Inferred Status	None
Size	111397
Compressed Size	18183
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	70	=>	88	=	784	forall	75
exists	1	Int	111	div	5	+	43
-	43	*	10	<	11	<=	44
>	3	>=	40

Query 85

Status	unknown
Inferred Status	None
Size	111382
Compressed Size	18175
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	70	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	44
-	43	*	10	<	10	<=	45
>	3	>=	41

Query 86

Status	unknown
Inferred Status	None
Size	111471
Compressed Size	18188
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	70	=>	88	=	785	forall	75
exists	1	Int	111	div	5	+	44
-	43	*	10	<	12	<=	44
>	3	>=	40

Query 87

Status	unknown
Inferred Status	None
Size	111425
Compressed Size	18188
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	782	forall	75
exists	1	Int	111	div	5	+	43
-	45	*	10	<	11	<=	44
>	3	>=	40

Query 88

Status	unknown
Inferred Status	None
Size	111589
Compressed Size	18186
Max. Term Depth	34
Asserts	53
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	71
Declared Datatypes	0

Symbols

true	5	Bool	71	not	89	or	1
and	69	=>	88	=	783	forall	75
exists	1	Int	111	div	6	+	43
-	45	*	11	<	10	<=	44
>	3	>=	40

Query 89

Status	unknown
Inferred Status	None
Size	108134
Compressed Size	17712
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	89	or	1
and	62	=>	85	=	733	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 90

Status	unknown
Inferred Status	None
Size	108202
Compressed Size	17726
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 91

Status	unknown
Inferred Status	None
Size	108221
Compressed Size	17729
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 92

Status	unknown
Inferred Status	None
Size	108246
Compressed Size	17730
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 93

Status	unknown
Inferred Status	None
Size	108232
Compressed Size	17728
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 94

Status	unknown
Inferred Status	None
Size	108272
Compressed Size	17728
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 95

Status	unknown
Inferred Status	None
Size	108293
Compressed Size	17731
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 96

Status	unknown
Inferred Status	None
Size	108340
Compressed Size	17745
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 97

Status	unknown
Inferred Status	None
Size	108332
Compressed Size	17741
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 98

Status	unknown
Inferred Status	None
Size	108352
Compressed Size	17745
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 99

Status	unknown
Inferred Status	None
Size	108405
Compressed Size	17756
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39

Query 100

Status	unknown
Inferred Status	None
Size	108422
Compressed Size	17760
Max. Term Depth	34
Asserts	59
Declared Functions	130
Declared Constants	1187
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	5	Bool	37	not	88	or	1
and	62	=>	85	=	732	forall	75
exists	1	Int	112	div	3	+	29
-	37	*	12	<	7	<=	43
>	3	>=	39