Benchmark

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

Benchmark without description.

Benchmark
Size	751623
Compressed Size	46829
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	1044

Query 1

Status	unknown
Inferred Status	None
Size	119730
Compressed Size	18978
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	83	and	72
=>	84	=	776	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 2

Status	unknown
Inferred Status	None
Size	119776
Compressed Size	18992
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	83	and	72
=>	84	=	776	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 3

Status	unknown
Inferred Status	None
Size	119816
Compressed Size	18994
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	83	and	72
=>	84	=	777	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 4

Status	unknown
Inferred Status	None
Size	119835
Compressed Size	18990
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	98
Declared Datatypes	0

Symbols

true	6	Bool	98	not	83	and	72
=>	84	=	777	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 5

Status	unknown
Inferred Status	None
Size	128232
Compressed Size	20283
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	864	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 6

Status	unknown
Inferred Status	None
Size	128251
Compressed Size	20288
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	864	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 7

Status	unknown
Inferred Status	None
Size	128259
Compressed Size	20282
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 8

Status	unknown
Inferred Status	None
Size	128278
Compressed Size	20287
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 9

Status	unknown
Inferred Status	None
Size	128306
Compressed Size	20289
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 10

Status	unknown
Inferred Status	None
Size	128325
Compressed Size	20293
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 11

Status	unknown
Inferred Status	None
Size	128367
Compressed Size	20296
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 12

Status	unknown
Inferred Status	None
Size	128354
Compressed Size	20290
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 13

Status	unknown
Inferred Status	None
Size	128373
Compressed Size	20293
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 14

Status	unknown
Inferred Status	None
Size	128402
Compressed Size	20302
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 15

Status	unknown
Inferred Status	None
Size	128422
Compressed Size	20305
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 16

Status	unknown
Inferred Status	None
Size	128465
Compressed Size	20306
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 17

Status	unknown
Inferred Status	None
Size	128453
Compressed Size	20304
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 18

Status	unknown
Inferred Status	None
Size	128473
Compressed Size	20313
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 19

Status	unknown
Inferred Status	None
Size	128493
Compressed Size	20313
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 20

Status	unknown
Inferred Status	None
Size	128522
Compressed Size	20318
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 21

Status	unknown
Inferred Status	None
Size	128542
Compressed Size	20319
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 22

Status	unknown
Inferred Status	None
Size	128553
Compressed Size	20318
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 23

Status	unknown
Inferred Status	None
Size	128573
Compressed Size	20324
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 24

Status	unknown
Inferred Status	None
Size	128593
Compressed Size	20324
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 25

Status	unknown
Inferred Status	None
Size	128622
Compressed Size	20334
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 26

Status	unknown
Inferred Status	None
Size	128642
Compressed Size	20335
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	111
Declared Datatypes	0

Symbols

true	6	Bool	111	not	88	and	92
=>	113	=	865	forall	70	exists	2
Int	92	div	1	+	32	-	51
*	4	<	10	<=	69	>	4
>=	63

Query 27

Status	unknown
Inferred Status	None
Size	134221
Compressed Size	21200
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	978	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 28

Status	unknown
Inferred Status	None
Size	134240
Compressed Size	21208
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	978	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 29

Status	unknown
Inferred Status	None
Size	134248
Compressed Size	21203
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 30

Status	unknown
Inferred Status	None
Size	134267
Compressed Size	21207
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 31

Status	unknown
Inferred Status	None
Size	134295
Compressed Size	21210
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 32

Status	unknown
Inferred Status	None
Size	134314
Compressed Size	21210
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 33

Status	unknown
Inferred Status	None
Size	134356
Compressed Size	21215
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 34

Status	unknown
Inferred Status	None
Size	134343
Compressed Size	21209
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 35

Status	unknown
Inferred Status	None
Size	134362
Compressed Size	21213
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 36

Status	unknown
Inferred Status	None
Size	134391
Compressed Size	21219
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 37

Status	unknown
Inferred Status	None
Size	134411
Compressed Size	21221
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 38

Status	unknown
Inferred Status	None
Size	134454
Compressed Size	21225
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 39

Status	unknown
Inferred Status	None
Size	134442
Compressed Size	21225
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 40

Status	unknown
Inferred Status	None
Size	134462
Compressed Size	21225
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 41

Status	unknown
Inferred Status	None
Size	134482
Compressed Size	21231
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 42

Status	unknown
Inferred Status	None
Size	134511
Compressed Size	21237
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 43

Status	unknown
Inferred Status	None
Size	134531
Compressed Size	21235
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 44

Status	unknown
Inferred Status	None
Size	134542
Compressed Size	21237
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 45

Status	unknown
Inferred Status	None
Size	134562
Compressed Size	21241
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 46

Status	unknown
Inferred Status	None
Size	134582
Compressed Size	21240
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 47

Status	unknown
Inferred Status	None
Size	134611
Compressed Size	21247
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 48

Status	unknown
Inferred Status	None
Size	134631
Compressed Size	21245
Max. Term Depth	34
Asserts	36
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	112
Declared Datatypes	0

Symbols

true	6	Bool	112	not	88	and	104
=>	125	=	979	forall	72	exists	3
Int	95	div	1	+	39	-	64
*	4	<	10	<=	87	>	4
>=	72

Query 49

Status	unknown
Inferred Status	None
Size	131634
Compressed Size	20791
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	952	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 50

Status	unknown
Inferred Status	None
Size	131653
Compressed Size	20785
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	952	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 51

Status	unknown
Inferred Status	None
Size	131661
Compressed Size	20786
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 52

Status	unknown
Inferred Status	None
Size	131680
Compressed Size	20790
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 53

Status	unknown
Inferred Status	None
Size	131708
Compressed Size	20797
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 54

Status	unknown
Inferred Status	None
Size	131727
Compressed Size	20805
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 55

Status	unknown
Inferred Status	None
Size	131769
Compressed Size	20808
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 56

Status	unknown
Inferred Status	None
Size	131756
Compressed Size	20806
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 57

Status	unknown
Inferred Status	None
Size	131775
Compressed Size	20801
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 58

Status	unknown
Inferred Status	None
Size	131804
Compressed Size	20814
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 59

Status	unknown
Inferred Status	None
Size	131824
Compressed Size	20815
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 60

Status	unknown
Inferred Status	None
Size	131867
Compressed Size	20823
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 61

Status	unknown
Inferred Status	None
Size	131855
Compressed Size	20821
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 62

Status	unknown
Inferred Status	None
Size	131875
Compressed Size	20819
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 63

Status	unknown
Inferred Status	None
Size	131895
Compressed Size	20824
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 64

Status	unknown
Inferred Status	None
Size	131924
Compressed Size	20834
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 65

Status	unknown
Inferred Status	None
Size	131944
Compressed Size	20836
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 66

Status	unknown
Inferred Status	None
Size	131955
Compressed Size	20831
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 67

Status	unknown
Inferred Status	None
Size	131975
Compressed Size	20837
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 68

Status	unknown
Inferred Status	None
Size	131995
Compressed Size	20834
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 69

Status	unknown
Inferred Status	None
Size	132024
Compressed Size	20842
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 70

Status	unknown
Inferred Status	None
Size	132044
Compressed Size	20844
Max. Term Depth	34
Asserts	38
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	103
Declared Datatypes	0

Symbols

true	6	Bool	103	not	90	and	102
=>	122	=	953	forall	72	exists	3
Int	95	div	1	+	35	-	55
*	4	<	10	<=	77	>	4
>=	68

Query 71

Status	unknown
Inferred Status	None
Size	119909
Compressed Size	19035
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	83	and	72
=>	84	=	777	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 72

Status	unknown
Inferred Status	None
Size	119928
Compressed Size	19039
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	83	and	72
=>	84	=	777	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 73

Status	unknown
Inferred Status	None
Size	119968
Compressed Size	19043
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	83	and	72
=>	84	=	778	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 74

Status	unknown
Inferred Status	None
Size	119987
Compressed Size	19039
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	99
Declared Datatypes	0

Symbols

true	6	Bool	99	not	83	and	72
=>	84	=	778	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	46	>	3
>=	47

Query 75

Status	unknown
Inferred Status	None
Size	117238
Compressed Size	18549
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 76

Status	unknown
Inferred Status	None
Size	117280
Compressed Size	18557
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 77

Status	unknown
Inferred Status	None
Size	117282
Compressed Size	18552
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 78

Status	unknown
Inferred Status	None
Size	117324
Compressed Size	18563
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 79

Status	unknown
Inferred Status	None
Size	117326
Compressed Size	18564
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 80

Status	unknown
Inferred Status	None
Size	117368
Compressed Size	18568
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 81

Status	unknown
Inferred Status	None
Size	117370
Compressed Size	18568
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 82

Status	unknown
Inferred Status	None
Size	117412
Compressed Size	18571
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 83

Status	unknown
Inferred Status	None
Size	117414
Compressed Size	18567
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 84

Status	unknown
Inferred Status	None
Size	117457
Compressed Size	18577
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 85

Status	unknown
Inferred Status	None
Size	117460
Compressed Size	18575
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 86

Status	unknown
Inferred Status	None
Size	117503
Compressed Size	18585
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 87

Status	unknown
Inferred Status	None
Size	117529
Compressed Size	18591
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 88

Status	unknown
Inferred Status	None
Size	117526
Compressed Size	18586
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 89

Status	unknown
Inferred Status	None
Size	117575
Compressed Size	18598
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 90

Status	unknown
Inferred Status	None
Size	117572
Compressed Size	18593
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 91

Status	unknown
Inferred Status	None
Size	117633
Compressed Size	18608
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 92

Status	unknown
Inferred Status	None
Size	117630
Compressed Size	18610
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 93

Status	unknown
Inferred Status	None
Size	117685
Compressed Size	18617
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 94

Status	unknown
Inferred Status	None
Size	117682
Compressed Size	18612
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	67
Declared Datatypes	0

Symbols

true	6	Bool	67	not	83	and	70
=>	82	=	724	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 95

Status	unknown
Inferred Status	None
Size	117691
Compressed Size	18658
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	83	and	70
=>	82	=	729	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 96

Status	unknown
Inferred Status	None
Size	117731
Compressed Size	18669
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	83	and	70
=>	82	=	729	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 97

Status	unknown
Inferred Status	None
Size	117735
Compressed Size	18670
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	83	and	70
=>	82	=	729	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 98

Status	unknown
Inferred Status	None
Size	117775
Compressed Size	18675
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	83	and	70
=>	82	=	729	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 99

Status	unknown
Inferred Status	None
Size	117779
Compressed Size	18675
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	83	and	70
=>	82	=	729	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47

Query 100

Status	unknown
Inferred Status	None
Size	117819
Compressed Size	18680
Max. Term Depth	34
Asserts	9
Declared Functions	122
Declared Constants	1350
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	72
Declared Datatypes	0

Symbols

true	6	Bool	72	not	83	and	70
=>	82	=	729	forall	66	exists	1
Int	87	div	1	+	14	-	25
*	4	<	5	<=	45	>	3
>=	47