Benchmark

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

Benchmark without description.

Benchmark
Size	329518
Compressed Size	32358
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	439

Query 1

Status	unknown
Inferred Status	None
Size	126262
Compressed Size	20554
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	98	or	1
and	95	=>	139	=	768	forall	115
exists	2	Int	194	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 2

Status	unknown
Inferred Status	None
Size	126138
Compressed Size	20530
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 3

Status	unknown
Inferred Status	None
Size	126157
Compressed Size	20539
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 4

Status	unknown
Inferred Status	None
Size	126172
Compressed Size	20537
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 5

Status	unknown
Inferred Status	None
Size	126191
Compressed Size	20539
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 6

Status	unknown
Inferred Status	None
Size	126215
Compressed Size	20544
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 7

Status	unknown
Inferred Status	None
Size	126234
Compressed Size	20546
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 8

Status	unknown
Inferred Status	None
Size	126238
Compressed Size	20541
Max. Term Depth	34
Asserts	10
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	68
>	7	>=	54

Query 9

Status	unknown
Inferred Status	None
Size	126157
Compressed Size	20560
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 10

Status	unknown
Inferred Status	None
Size	126177
Compressed Size	20570
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 11

Status	unknown
Inferred Status	None
Size	126190
Compressed Size	20570
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 12

Status	unknown
Inferred Status	None
Size	126215
Compressed Size	20569
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 13

Status	unknown
Inferred Status	None
Size	126234
Compressed Size	20568
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 14

Status	unknown
Inferred Status	None
Size	126255
Compressed Size	20573
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 15

Status	unknown
Inferred Status	None
Size	126278
Compressed Size	20577
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 16

Status	unknown
Inferred Status	None
Size	126297
Compressed Size	20580
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

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

Query 17

Status	unknown
Inferred Status	None
Size	125970
Compressed Size	20497
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
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	93	=>	138	=	768	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 18

Status	unknown
Inferred Status	None
Size	125985
Compressed Size	20499
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
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	93	=>	138	=	768	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 19

Status	unknown
Inferred Status	None
Size	126073
Compressed Size	20521
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

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

Query 20

Status	unknown
Inferred Status	None
Size	126559
Compressed Size	20619
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	772	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 21

Status	unknown
Inferred Status	None
Size	126580
Compressed Size	20617
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	772	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 22

Status	unknown
Inferred Status	None
Size	126596
Compressed Size	20623
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	772	forall	115
exists	1	Int	191	div	1	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 23

Status	unknown
Inferred Status	None
Size	126639
Compressed Size	20645
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	772	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 24

Status	unknown
Inferred Status	None
Size	126684
Compressed Size	20664
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	772	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 25

Status	unknown
Inferred Status	None
Size	126748
Compressed Size	20646
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 26

Status	unknown
Inferred Status	None
Size	126800
Compressed Size	20676
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 27

Status	unknown
Inferred Status	None
Size	126816
Compressed Size	20680
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 28

Status	unknown
Inferred Status	None
Size	126877
Compressed Size	20681
Max. Term Depth	34
Asserts	15
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 29

Status	unknown
Inferred Status	None
Size	126918
Compressed Size	20694
Max. Term Depth	34
Asserts	15
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 30

Status	unknown
Inferred Status	None
Size	127254
Compressed Size	20769
Max. Term Depth	34
Asserts	15
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

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

Query 31

Status	unknown
Inferred Status	None
Size	126651
Compressed Size	20640
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	769	forall	115
exists	1	Int	191	div	1	+	37
-	42	*	4	<	10	<=	67
>	7	>=	54

Query 32

Status	unknown
Inferred Status	None
Size	126732
Compressed Size	20660
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	769	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	10	<=	67
>	7	>=	54

Query 33

Status	unknown
Inferred Status	None
Size	126748
Compressed Size	20670
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	769	forall	115
exists	1	Int	191	div	1	+	36
-	43	*	4	<	10	<=	67
>	7	>=	54

Query 34

Status	unknown
Inferred Status	None
Size	126774
Compressed Size	20672
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	769	forall	115
exists	1	Int	191	div	1	+	36
-	43	*	4	<	10	<=	67
>	7	>=	54

Query 35

Status	unknown
Inferred Status	None
Size	126782
Compressed Size	20668
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	770	forall	115
exists	1	Int	191	div	1	+	36
-	43	*	4	<	10	<=	67
>	7	>=	54

Query 36

Status	unknown
Inferred Status	None
Size	126798
Compressed Size	20664
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	769	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	10	<=	67
>	7	>=	55

Query 37

Status	unknown
Inferred Status	None
Size	126816
Compressed Size	20665
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	21
Declared Datatypes	0

Symbols

true	6	Bool	21	not	98	or	1
and	94	=>	139	=	769	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	11	<=	67
>	7	>=	54

Query 38

Status	unknown
Inferred Status	None
Size	126779
Compressed Size	20656
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	38
-	43	*	4	<	9	<=	67
>	7	>=	54

Query 39

Status	unknown
Inferred Status	None
Size	126808
Compressed Size	20679
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	43	*	4	<	9	<=	67
>	7	>=	54

Query 40

Status	unknown
Inferred Status	None
Size	126837
Compressed Size	20681
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	38
-	43	*	4	<	9	<=	67
>	7	>=	54

Query 41

Status	unknown
Inferred Status	None
Size	126905
Compressed Size	20686
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	44	*	4	<	9	<=	67
>	7	>=	54

Query 42

Status	unknown
Inferred Status	None
Size	126931
Compressed Size	20680
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	44	*	4	<	9	<=	67
>	7	>=	54

Query 43

Status	unknown
Inferred Status	None
Size	126992
Compressed Size	20691
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	44	*	4	<	9	<=	67
>	7	>=	54

Query 44

Status	unknown
Inferred Status	None
Size	126967
Compressed Size	20689
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	43	*	4	<	9	<=	67
>	7	>=	54

Query 45

Status	unknown
Inferred Status	None
Size	127030
Compressed Size	20676
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	3	+	38
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 46

Status	unknown
Inferred Status	None
Size	127107
Compressed Size	20689
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	3	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 47

Status	unknown
Inferred Status	None
Size	127141
Compressed Size	20700
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	4	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 48

Status	unknown
Inferred Status	None
Size	127120
Compressed Size	20704
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	3	+	38
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 49

Status	unknown
Inferred Status	None
Size	127189
Compressed Size	20708
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	3	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 50

Status	unknown
Inferred Status	None
Size	127224
Compressed Size	20710
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	4	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 51

Status	unknown
Inferred Status	None
Size	127271
Compressed Size	20732
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	5	+	38
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 52

Status	unknown
Inferred Status	None
Size	127298
Compressed Size	20732
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	5	+	38
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 53

Status	unknown
Inferred Status	None
Size	127311
Compressed Size	20734
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	5	+	38
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 54

Status	unknown
Inferred Status	None
Size	127339
Compressed Size	20737
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	5	+	38
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 55

Status	unknown
Inferred Status	None
Size	127341
Compressed Size	20734
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	5	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 56

Status	unknown
Inferred Status	None
Size	127362
Compressed Size	20738
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	5	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 57

Status	unknown
Inferred Status	None
Size	126421
Compressed Size	20595
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 58

Status	unknown
Inferred Status	None
Size	126443
Compressed Size	20598
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 59

Status	unknown
Inferred Status	None
Size	126460
Compressed Size	20596
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 60

Status	unknown
Inferred Status	None
Size	126515
Compressed Size	20621
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 61

Status	unknown
Inferred Status	None
Size	126547
Compressed Size	20629
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 62

Status	unknown
Inferred Status	None
Size	126574
Compressed Size	20631
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 63

Status	unknown
Inferred Status	None
Size	126439
Compressed Size	20592
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 64

Status	unknown
Inferred Status	None
Size	126457
Compressed Size	20594
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 65

Status	unknown
Inferred Status	None
Size	126476
Compressed Size	20603
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	37
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 66

Status	unknown
Inferred Status	None
Size	126531
Compressed Size	20627
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	98	or	1
and	94	=>	139	=	768	forall	115
exists	1	Int	191	div	1	+	36
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 67

Status	unknown
Inferred Status	None
Size	126415
Compressed Size	20608
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 68

Status	unknown
Inferred Status	None
Size	126447
Compressed Size	20613
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

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

Query 69

Status	unknown
Inferred Status	None
Size	126152
Compressed Size	20519
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
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	93	=>	138	=	768	forall	115
exists	1	Int	191	div	1	+	35
-	42	*	4	<	9	<=	67
>	7	>=	54

Query 70

Status	unknown
Inferred Status	None
Size	130398
Compressed Size	21130
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 71

Status	unknown
Inferred Status	None
Size	130415
Compressed Size	21140
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 72

Status	unknown
Inferred Status	None
Size	130464
Compressed Size	21154
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 73

Status	unknown
Inferred Status	None
Size	130484
Compressed Size	21154
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 74

Status	unknown
Inferred Status	None
Size	130501
Compressed Size	21163
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 75

Status	unknown
Inferred Status	None
Size	130521
Compressed Size	21166
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 76

Status	unknown
Inferred Status	None
Size	130562
Compressed Size	21169
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 77

Status	unknown
Inferred Status	None
Size	130582
Compressed Size	21171
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 78

Status	unknown
Inferred Status	None
Size	130599
Compressed Size	21176
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 79

Status	unknown
Inferred Status	None
Size	130620
Compressed Size	21182
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 80

Status	unknown
Inferred Status	None
Size	130681
Compressed Size	21183
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 81

Status	unknown
Inferred Status	None
Size	130702
Compressed Size	21188
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 82

Status	unknown
Inferred Status	None
Size	130701
Compressed Size	21192
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 83

Status	unknown
Inferred Status	None
Size	130722
Compressed Size	21198
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 84

Status	unknown
Inferred Status	None
Size	130824
Compressed Size	21209
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 85

Status	unknown
Inferred Status	None
Size	130800
Compressed Size	21214
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 86

Status	unknown
Inferred Status	None
Size	130821
Compressed Size	21218
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 87

Status	unknown
Inferred Status	None
Size	130860
Compressed Size	21224
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 88

Status	unknown
Inferred Status	None
Size	130882
Compressed Size	21224
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 89

Status	unknown
Inferred Status	None
Size	130908
Compressed Size	21231
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	42
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 90

Status	unknown
Inferred Status	None
Size	131008
Compressed Size	21253
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	99	or	1
and	102	=>	143	=	800	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 91

Status	unknown
Inferred Status	None
Size	131021
Compressed Size	21253
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 92

Status	unknown
Inferred Status	None
Size	131043
Compressed Size	21258
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 93

Status	unknown
Inferred Status	None
Size	131087
Compressed Size	21247
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	59

Query 94

Status	unknown
Inferred Status	None
Size	131170
Compressed Size	21255
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	799	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 95

Status	unknown
Inferred Status	None
Size	131091
Compressed Size	21248
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	800	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 96

Status	unknown
Inferred Status	None
Size	131112
Compressed Size	21246
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	800	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 97

Status	unknown
Inferred Status	None
Size	131159
Compressed Size	21264
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	800	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 98

Status	unknown
Inferred Status	None
Size	131170
Compressed Size	21258
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	800	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 99

Status	unknown
Inferred Status	None
Size	131188
Compressed Size	21268
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	800	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58

Query 100

Status	unknown
Inferred Status	None
Size	131222
Compressed Size	21279
Max. Term Depth	34
Asserts	13
Declared Functions	126
Declared Constants	1334
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	60
Declared Datatypes	0

Symbols

true	6	Bool	60	not	98	or	1
and	102	=>	143	=	800	forall	115
exists	1	Int	191	div	1	+	41
-	42	*	4	<	12	<=	67
>	8	>=	58