Benchmark

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

Benchmark without description.

Benchmark
Size	152389
Compressed Size	20738
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	152

Query 1

Status	unknown
Inferred Status	None
Size	108187
Compressed Size	17098
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	81	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	23	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 2

Status	unknown
Inferred Status	None
Size	112018
Compressed Size	17803
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	95	or	1
and	68	=>	99	=	714	forall	76
exists	3	Int	99	div	1	+	19
-	38	*	4	<	7	<=	41
>	5	>=	55

Query 3

Status	unknown
Inferred Status	None
Size	111678
Compressed Size	17727
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	28
Declared Datatypes	0

Symbols

true	6	Bool	28	not	94	and	66
=>	99	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	38
*	4	<	7	<=	40	>	5
>=	54

Query 4

Status	unknown
Inferred Status	None
Size	107541
Compressed Size	16966
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	80	and	51
=>	78	=	689	forall	70	exists	1
Int	91	div	1	+	17	-	27
*	4	<	5	<=	29	>	3
>=	33

Query 5

Status	unknown
Inferred Status	None
Size	107822
Compressed Size	17036
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	80	and	52
=>	79	=	689	forall	70	exists	1
Int	91	div	1	+	17	-	27
*	4	<	5	<=	29	>	3
>=	33

Query 6

Status	unknown
Inferred Status	None
Size	107864
Compressed Size	17049
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	6	Bool	14	not	80	and	52
=>	79	=	689	forall	70	exists	1
Int	91	div	1	+	17	-	27
*	4	<	5	<=	29	>	3
>=	33

Query 7

Status	unknown
Inferred Status	None
Size	108288
Compressed Size	17130
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 8

Status	unknown
Inferred Status	None
Size	108307
Compressed Size	17134
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 9

Status	unknown
Inferred Status	None
Size	108326
Compressed Size	17138
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 10

Status	unknown
Inferred Status	None
Size	108322
Compressed Size	17132
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 11

Status	unknown
Inferred Status	None
Size	108341
Compressed Size	17134
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 12

Status	unknown
Inferred Status	None
Size	108383
Compressed Size	17144
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 13

Status	unknown
Inferred Status	None
Size	108440
Compressed Size	17143
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 14

Status	unknown
Inferred Status	None
Size	108478
Compressed Size	17143
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 15

Status	unknown
Inferred Status	None
Size	108445
Compressed Size	17150
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 16

Status	unknown
Inferred Status	None
Size	108465
Compressed Size	17154
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 17

Status	unknown
Inferred Status	None
Size	108485
Compressed Size	17159
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 18

Status	unknown
Inferred Status	None
Size	108482
Compressed Size	17156
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 19

Status	unknown
Inferred Status	None
Size	108502
Compressed Size	17158
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 20

Status	unknown
Inferred Status	None
Size	108545
Compressed Size	17169
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 21

Status	unknown
Inferred Status	None
Size	108603
Compressed Size	17170
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 22

Status	unknown
Inferred Status	None
Size	108642
Compressed Size	17169
Max. Term Depth	34
Asserts	16
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	82	and	53
=>	81	=	689	forall	70	exists	1
Int	91	div	1	+	22	-	28
*	4	<	5	<=	30	>	3
>=	37

Query 23

Status	unknown
Inferred Status	None
Size	108510
Compressed Size	17184
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 24

Status	unknown
Inferred Status	None
Size	108552
Compressed Size	17196
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 25

Status	unknown
Inferred Status	None
Size	108608
Compressed Size	17218
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 26

Status	unknown
Inferred Status	None
Size	108627
Compressed Size	17220
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 27

Status	unknown
Inferred Status	None
Size	108646
Compressed Size	17222
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 28

Status	unknown
Inferred Status	None
Size	108665
Compressed Size	17224
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 29

Status	unknown
Inferred Status	None
Size	108684
Compressed Size	17227
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 30

Status	unknown
Inferred Status	None
Size	108703
Compressed Size	17230
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 31

Status	unknown
Inferred Status	None
Size	108699
Compressed Size	17224
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 32

Status	unknown
Inferred Status	None
Size	108719
Compressed Size	17228
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 33

Status	unknown
Inferred Status	None
Size	108739
Compressed Size	17231
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 34

Status	unknown
Inferred Status	None
Size	108759
Compressed Size	17233
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 35

Status	unknown
Inferred Status	None
Size	108802
Compressed Size	17245
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 36

Status	unknown
Inferred Status	None
Size	108955
Compressed Size	17268
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	39

Query 37

Status	unknown
Inferred Status	None
Size	108880
Compressed Size	17249
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 38

Status	unknown
Inferred Status	None
Size	108900
Compressed Size	17251
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 39

Status	unknown
Inferred Status	None
Size	108939
Compressed Size	17253
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 40

Status	unknown
Inferred Status	None
Size	109328
Compressed Size	17281
Max. Term Depth	34
Asserts	11
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	82	and	53
=>	81	=	691	forall	70	exists	1
Int	91	div	1	+	17	-	28
*	4	<	5	<=	30	>	3
>=	38

Query 41

Status	unknown
Inferred Status	None
Size	112410
Compressed Size	17794
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	95	and	70
=>	98	=	714	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 42

Status	unknown
Inferred Status	None
Size	112444
Compressed Size	17808
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 43

Status	unknown
Inferred Status	None
Size	112454
Compressed Size	17805
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	95	and	70
=>	98	=	714	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 44

Status	unknown
Inferred Status	None
Size	112472
Compressed Size	17807
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	95	and	70
=>	98	=	714	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 45

Status	unknown
Inferred Status	None
Size	112507
Compressed Size	17815
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 46

Status	unknown
Inferred Status	None
Size	112525
Compressed Size	17818
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 47

Status	unknown
Inferred Status	None
Size	112535
Compressed Size	17816
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	95	and	70
=>	98	=	714	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 48

Status	unknown
Inferred Status	None
Size	112568
Compressed Size	17826
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 49

Status	unknown
Inferred Status	None
Size	112587
Compressed Size	17829
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 50

Status	unknown
Inferred Status	None
Size	112608
Compressed Size	17830
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 51

Status	unknown
Inferred Status	None
Size	112625
Compressed Size	17833
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 52

Status	unknown
Inferred Status	None
Size	112653
Compressed Size	17843
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 53

Status	unknown
Inferred Status	None
Size	112673
Compressed Size	17842
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 54

Status	unknown
Inferred Status	None
Size	112693
Compressed Size	17849
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 55

Status	unknown
Inferred Status	None
Size	112713
Compressed Size	17852
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 56

Status	unknown
Inferred Status	None
Size	112753
Compressed Size	17857
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 57

Status	unknown
Inferred Status	None
Size	112733
Compressed Size	17855
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 58

Status	unknown
Inferred Status	None
Size	112753
Compressed Size	17858
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 59

Status	unknown
Inferred Status	None
Size	112792
Compressed Size	17861
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 60

Status	unknown
Inferred Status	None
Size	112812
Compressed Size	17862
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 61

Status	unknown
Inferred Status	None
Size	112831
Compressed Size	17865
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 62

Status	unknown
Inferred Status	None
Size	112859
Compressed Size	17871
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 63

Status	unknown
Inferred Status	None
Size	112879
Compressed Size	17873
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 64

Status	unknown
Inferred Status	None
Size	112899
Compressed Size	17874
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 65

Status	unknown
Inferred Status	None
Size	112939
Compressed Size	17879
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 66

Status	unknown
Inferred Status	None
Size	112960
Compressed Size	17879
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 67

Status	unknown
Inferred Status	None
Size	112980
Compressed Size	17879
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 68

Status	unknown
Inferred Status	None
Size	112994
Compressed Size	17882
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 69

Status	unknown
Inferred Status	None
Size	113014
Compressed Size	17884
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 70

Status	unknown
Inferred Status	None
Size	112999
Compressed Size	17879
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 71

Status	unknown
Inferred Status	None
Size	113019
Compressed Size	17881
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 72

Status	unknown
Inferred Status	None
Size	113071
Compressed Size	17884
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 73

Status	unknown
Inferred Status	None
Size	113091
Compressed Size	17885
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 74

Status	unknown
Inferred Status	None
Size	113098
Compressed Size	17887
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 75

Status	unknown
Inferred Status	None
Size	113118
Compressed Size	17889
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 76

Status	unknown
Inferred Status	None
Size	113138
Compressed Size	17891
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 77

Status	unknown
Inferred Status	None
Size	113165
Compressed Size	17899
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 78

Status	unknown
Inferred Status	None
Size	113185
Compressed Size	17902
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 79

Status	unknown
Inferred Status	None
Size	113226
Compressed Size	17903
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 80

Status	unknown
Inferred Status	None
Size	113246
Compressed Size	17905
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 81

Status	unknown
Inferred Status	None
Size	113266
Compressed Size	17908
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 82

Status	unknown
Inferred Status	None
Size	113280
Compressed Size	17908
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 83

Status	unknown
Inferred Status	None
Size	113300
Compressed Size	17911
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 84

Status	unknown
Inferred Status	None
Size	113317
Compressed Size	17909
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 85

Status	unknown
Inferred Status	None
Size	113337
Compressed Size	17912
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 86

Status	unknown
Inferred Status	None
Size	113344
Compressed Size	17913
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 87

Status	unknown
Inferred Status	None
Size	113364
Compressed Size	17913
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 88

Status	unknown
Inferred Status	None
Size	113391
Compressed Size	17921
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 89

Status	unknown
Inferred Status	None
Size	113432
Compressed Size	17923
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 90

Status	unknown
Inferred Status	None
Size	113452
Compressed Size	17925
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 91

Status	unknown
Inferred Status	None
Size	113466
Compressed Size	17928
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 92

Status	unknown
Inferred Status	None
Size	113483
Compressed Size	17931
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 93

Status	unknown
Inferred Status	None
Size	113490
Compressed Size	17929
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	20	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 94

Status	unknown
Inferred Status	None
Size	113502
Compressed Size	17925
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	95	and	70
=>	98	=	714	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 95

Status	unknown
Inferred Status	None
Size	113530
Compressed Size	17929
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 96

Status	unknown
Inferred Status	None
Size	113557
Compressed Size	17939
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 97

Status	unknown
Inferred Status	None
Size	113598
Compressed Size	17939
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 98

Status	unknown
Inferred Status	None
Size	113612
Compressed Size	17942
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 99

Status	unknown
Inferred Status	None
Size	113629
Compressed Size	17942
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	19	-	40
*	4	<	7	<=	45	>	6
>=	60

Query 100

Status	unknown
Inferred Status	None
Size	113636
Compressed Size	17942
Max. Term Depth	34
Asserts	23
Declared Functions	126
Declared Constants	1253
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	37
Declared Datatypes	0

Symbols

true	6	Bool	37	not	94	and	70
=>	98	=	713	forall	76	exists	2
Int	98	div	1	+	20	-	40
*	4	<	7	<=	45	>	6
>=	60