Benchmark

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

Benchmark without description.

Benchmark
Size	174007
Compressed Size	24624
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	130

Query 1

Status	unknown
Inferred Status	None
Size	137723
Compressed Size	21407
Max. Term Depth	34
Asserts	9
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	89	or	1
and	109	=>	147	=	832	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 2

Status	unknown
Inferred Status	None
Size	137771
Compressed Size	21417
Max. Term Depth	34
Asserts	9
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	89	or	1
and	109	=>	147	=	832	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 3

Status	unknown
Inferred Status	None
Size	137844
Compressed Size	21428
Max. Term Depth	34
Asserts	9
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	89	or	1
and	109	=>	147	=	832	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 4

Status	unknown
Inferred Status	None
Size	137840
Compressed Size	21427
Max. Term Depth	34
Asserts	9
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	89	or	1
and	109	=>	147	=	832	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 5

Status	unknown
Inferred Status	None
Size	139456
Compressed Size	21781
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	89	or	1
and	113	=>	153	=	840	forall	127
exists	8	Int	201	div	4	+	37
-	35	*	5	<	9	<=	75
>	4	>=	47

Query 6

Status	unknown
Inferred Status	None
Size	139469
Compressed Size	21786
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	89	or	1
and	113	=>	153	=	840	forall	127
exists	8	Int	201	div	4	+	37
-	35	*	5	<	9	<=	75
>	4	>=	47

Query 7

Status	unknown
Inferred Status	None
Size	138220
Compressed Size	21527
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	89	or	1
and	110	=>	148	=	833	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 8

Status	unknown
Inferred Status	None
Size	138262
Compressed Size	21542
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	89	or	1
and	110	=>	148	=	833	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 9

Status	unknown
Inferred Status	None
Size	138263
Compressed Size	21546
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	89	or	1
and	110	=>	148	=	833	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 10

Status	unknown
Inferred Status	None
Size	138305
Compressed Size	21556
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	89	or	1
and	110	=>	148	=	833	forall	124
exists	8	Int	198	div	4	+	37
-	34	*	5	<	7	<=	71
>	3	>=	45

Query 11

Status	unknown
Inferred Status	None
Size	139757
Compressed Size	21821
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 12

Status	unknown
Inferred Status	None
Size	139776
Compressed Size	21828
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 13

Status	unknown
Inferred Status	None
Size	139772
Compressed Size	21824
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 14

Status	unknown
Inferred Status	None
Size	139790
Compressed Size	21821
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 15

Status	unknown
Inferred Status	None
Size	139839
Compressed Size	21834
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 16

Status	unknown
Inferred Status	None
Size	139857
Compressed Size	21838
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 17

Status	unknown
Inferred Status	None
Size	139877
Compressed Size	21832
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 18

Status	unknown
Inferred Status	None
Size	139873
Compressed Size	21834
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 19

Status	unknown
Inferred Status	None
Size	139890
Compressed Size	21831
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 20

Status	unknown
Inferred Status	None
Size	139998
Compressed Size	21843
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 21

Status	unknown
Inferred Status	None
Size	139961
Compressed Size	21850
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 22

Status	unknown
Inferred Status	None
Size	139979
Compressed Size	21853
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 23

Status	unknown
Inferred Status	None
Size	139978
Compressed Size	21849
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 24

Status	unknown
Inferred Status	None
Size	140031
Compressed Size	21849
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 25

Status	unknown
Inferred Status	None
Size	140015
Compressed Size	21853
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 26

Status	unknown
Inferred Status	None
Size	140154
Compressed Size	21863
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 27

Status	unknown
Inferred Status	None
Size	140084
Compressed Size	21855
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 28

Status	unknown
Inferred Status	None
Size	140107
Compressed Size	21868
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 29

Status	unknown
Inferred Status	None
Size	140127
Compressed Size	21870
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 30

Status	unknown
Inferred Status	None
Size	140147
Compressed Size	21872
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 31

Status	unknown
Inferred Status	None
Size	140144
Compressed Size	21867
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 32

Status	unknown
Inferred Status	None
Size	140164
Compressed Size	21870
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 33

Status	unknown
Inferred Status	None
Size	140217
Compressed Size	21869
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 34

Status	unknown
Inferred Status	None
Size	140320
Compressed Size	21880
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 35

Status	unknown
Inferred Status	None
Size	140270
Compressed Size	21870
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 36

Status	unknown
Inferred Status	None
Size	140330
Compressed Size	21881
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 37

Status	unknown
Inferred Status	None
Size	140303
Compressed Size	21876
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 38

Status	unknown
Inferred Status	None
Size	140310
Compressed Size	21872
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 39

Status	unknown
Inferred Status	None
Size	140333
Compressed Size	21886
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 40

Status	unknown
Inferred Status	None
Size	140353
Compressed Size	21888
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 41

Status	unknown
Inferred Status	None
Size	140350
Compressed Size	21884
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 42

Status	unknown
Inferred Status	None
Size	140456
Compressed Size	21892
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 43

Status	unknown
Inferred Status	None
Size	140429
Compressed Size	21886
Max. Term Depth	34
Asserts	18
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	152	=	841	forall	126
exists	8	Int	200	div	4	+	37
-	36	*	5	<	8	<=	77
>	4	>=	48

Query 44

Status	unknown
Inferred Status	None
Size	139531
Compressed Size	21754
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 45

Status	unknown
Inferred Status	None
Size	139550
Compressed Size	21760
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 46

Status	unknown
Inferred Status	None
Size	139574
Compressed Size	21763
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 47

Status	unknown
Inferred Status	None
Size	139591
Compressed Size	21762
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 48

Status	unknown
Inferred Status	None
Size	139589
Compressed Size	21763
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 49

Status	unknown
Inferred Status	None
Size	139694
Compressed Size	21771
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 50

Status	unknown
Inferred Status	None
Size	139655
Compressed Size	21773
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 51

Status	unknown
Inferred Status	None
Size	139651
Compressed Size	21771
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 52

Status	unknown
Inferred Status	None
Size	139698
Compressed Size	21780
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 53

Status	unknown
Inferred Status	None
Size	139695
Compressed Size	21781
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 54

Status	unknown
Inferred Status	None
Size	139746
Compressed Size	21779
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 55

Status	unknown
Inferred Status	None
Size	139851
Compressed Size	21790
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 56

Status	unknown
Inferred Status	None
Size	139780
Compressed Size	21787
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 57

Status	unknown
Inferred Status	None
Size	139803
Compressed Size	21798
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 58

Status	unknown
Inferred Status	None
Size	139823
Compressed Size	21802
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 59

Status	unknown
Inferred Status	None
Size	139843
Compressed Size	21802
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 60

Status	unknown
Inferred Status	None
Size	139840
Compressed Size	21804
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 61

Status	unknown
Inferred Status	None
Size	139860
Compressed Size	21807
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 62

Status	unknown
Inferred Status	None
Size	139911
Compressed Size	21807
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 63

Status	unknown
Inferred Status	None
Size	140016
Compressed Size	21817
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 64

Status	unknown
Inferred Status	None
Size	139966
Compressed Size	21813
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 65

Status	unknown
Inferred Status	None
Size	140026
Compressed Size	21822
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 66

Status	unknown
Inferred Status	None
Size	139999
Compressed Size	21818
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 67

Status	unknown
Inferred Status	None
Size	140006
Compressed Size	21812
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 68

Status	unknown
Inferred Status	None
Size	140029
Compressed Size	21825
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 69

Status	unknown
Inferred Status	None
Size	140049
Compressed Size	21824
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 70

Status	unknown
Inferred Status	None
Size	140046
Compressed Size	21824
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 71

Status	unknown
Inferred Status	None
Size	140152
Compressed Size	21830
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 72

Status	unknown
Inferred Status	None
Size	140125
Compressed Size	21825
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 73

Status	unknown
Inferred Status	None
Size	140135
Compressed Size	21833
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 74

Status	unknown
Inferred Status	None
Size	140131
Compressed Size	21825
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 75

Status	unknown
Inferred Status	None
Size	140181
Compressed Size	21839
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 76

Status	unknown
Inferred Status	None
Size	140201
Compressed Size	21839
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 77

Status	unknown
Inferred Status	None
Size	140197
Compressed Size	21831
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 78

Status	unknown
Inferred Status	None
Size	140241
Compressed Size	21843
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 79

Status	unknown
Inferred Status	None
Size	140267
Compressed Size	21844
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 80

Status	unknown
Inferred Status	None
Size	140263
Compressed Size	21832
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	114	=>	150	=	836	forall	126
exists	8	Int	200	div	4	+	37
-	38	*	5	<	9	<=	76
>	3	>=	49

Query 81

Status	unknown
Inferred Status	None
Size	140587
Compressed Size	21949
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 82

Status	unknown
Inferred Status	None
Size	140599
Compressed Size	21956
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 83

Status	unknown
Inferred Status	None
Size	140598
Compressed Size	21947
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 84

Status	unknown
Inferred Status	None
Size	140613
Compressed Size	21951
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 85

Status	unknown
Inferred Status	None
Size	140669
Compressed Size	21963
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 86

Status	unknown
Inferred Status	None
Size	140680
Compressed Size	21967
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 87

Status	unknown
Inferred Status	None
Size	140680
Compressed Size	21955
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 88

Status	unknown
Inferred Status	None
Size	140694
Compressed Size	21961
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 89

Status	unknown
Inferred Status	None
Size	140745
Compressed Size	21970
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 90

Status	unknown
Inferred Status	None
Size	140771
Compressed Size	21972
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 91

Status	unknown
Inferred Status	None
Size	140791
Compressed Size	21975
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 92

Status	unknown
Inferred Status	None
Size	140802
Compressed Size	21989
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 93

Status	unknown
Inferred Status	None
Size	140837
Compressed Size	21982
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 94

Status	unknown
Inferred Status	None
Size	140824
Compressed Size	21974
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 95

Status	unknown
Inferred Status	None
Size	140846
Compressed Size	21979
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 96

Status	unknown
Inferred Status	None
Size	140858
Compressed Size	21992
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 97

Status	unknown
Inferred Status	None
Size	140905
Compressed Size	21987
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 98

Status	unknown
Inferred Status	None
Size	140950
Compressed Size	21991
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 99

Status	unknown
Inferred Status	None
Size	140951
Compressed Size	21998
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47

Query 100

Status	unknown
Inferred Status	None
Size	140977
Compressed Size	22000
Max. Term Depth	34
Asserts	22
Declared Functions	131
Declared Constants	1400
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	89	or	1
and	115	=>	154	=	846	forall	128
exists	8	Int	202	div	4	+	37
-	38	*	5	<	11	<=	77
>	6	>=	47