Benchmark

incremental/UFNIA/20190909-CLEARSY/0023/00109.smt2

Benchmark without description.

Benchmark
Size	175302
Compressed Size	16170
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-09 00:00:00
Generator	bxml;pog;pog2smt (Atelier B)
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	363

Query 1

Status	unknown
Inferred Status	None
Size	47304
Compressed Size	8661
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 2

Status	unknown
Inferred Status	None
Size	47250
Compressed Size	8664
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 3

Status	unknown
Inferred Status	None
Size	47275
Compressed Size	8668
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 4

Status	unknown
Inferred Status	None
Size	47296
Compressed Size	8668
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 5

Status	unknown
Inferred Status	None
Size	47315
Compressed Size	8673
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 6

Status	unknown
Inferred Status	None
Size	47333
Compressed Size	8672
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 7

Status	unknown
Inferred Status	None
Size	47374
Compressed Size	8676
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 8

Status	unknown
Inferred Status	None
Size	47395
Compressed Size	8680
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 9

Status	unknown
Inferred Status	None
Size	47418
Compressed Size	8688
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	177	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 10

Status	unknown
Inferred Status	None
Size	47402
Compressed Size	8683
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	177	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 11

Status	unknown
Inferred Status	None
Size	47462
Compressed Size	8694
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	177	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 12

Status	unknown
Inferred Status	None
Size	47502
Compressed Size	8707
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	177	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 13

Status	unknown
Inferred Status	None
Size	47522
Compressed Size	8712
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	177	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	41

Query 14

Status	unknown
Inferred Status	None
Size	47489
Compressed Size	8704
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	22	=	176	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	66	>	7
>=	41

Query 15

Status	unknown
Inferred Status	None
Size	47615
Compressed Size	8723
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	23	=	177	forall	17
Int	18	div	2	+	15	-	11
*	6	<	13	<=	65	>	7
>=	41

Query 16

Status	unknown
Inferred Status	None
Size	47712
Compressed Size	8742
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	23	=	177	forall	17
Int	18	div	3	+	17	-	14
*	7	<	13	<=	65	>	7
>=	41

Query 17

Status	unknown
Inferred Status	None
Size	47707
Compressed Size	8740
Max. Term Depth	10
Asserts	10
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	46	or	3
and	20	=>	23	=	177	forall	17
Int	18	div	3	+	17	-	12
*	7	<	13	<=	65	>	7
>=	41

Query 18

Status	unknown
Inferred Status	None
Size	49468
Compressed Size	9032
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	191	forall	19
Int	20	div	4	+	19	-	19
*	8	<	13	<=	67	>	7
>=	42

Query 19

Status	unknown
Inferred Status	None
Size	49453
Compressed Size	9035
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	191	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 20

Status	unknown
Inferred Status	None
Size	49500
Compressed Size	9045
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 21

Status	unknown
Inferred Status	None
Size	49519
Compressed Size	9046
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 22

Status	unknown
Inferred Status	None
Size	49524
Compressed Size	9039
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 23

Status	unknown
Inferred Status	None
Size	49545
Compressed Size	9046
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 24

Status	unknown
Inferred Status	None
Size	49564
Compressed Size	9049
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 25

Status	unknown
Inferred Status	None
Size	49583
Compressed Size	9044
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 26

Status	unknown
Inferred Status	None
Size	49585
Compressed Size	9045
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 27

Status	unknown
Inferred Status	None
Size	49613
Compressed Size	9050
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 28

Status	unknown
Inferred Status	None
Size	49625
Compressed Size	9051
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	191	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	68	>	7
>=	42

Query 29

Status	unknown
Inferred Status	None
Size	49652
Compressed Size	9059
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	191	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	68	>	7
>=	42

Query 30

Status	unknown
Inferred Status	None
Size	49734
Compressed Size	9079
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	4	+	19	-	19
*	8	<	13	<=	67	>	7
>=	42

Query 31

Status	unknown
Inferred Status	None
Size	49896
Compressed Size	9102
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	5	+	21	-	22
*	9	<	13	<=	67	>	7
>=	42

Query 32

Status	unknown
Inferred Status	None
Size	49886
Compressed Size	9107
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	47	or	3
and	22	=>	25	=	192	forall	19
Int	20	div	5	+	21	-	20
*	9	<	13	<=	67	>	7
>=	42

Query 33

Status	unknown
Inferred Status	None
Size	49548
Compressed Size	9045
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	193	forall	19
Int	20	div	4	+	19	-	19
*	8	<	13	<=	67	>	7
>=	42

Query 34

Status	unknown
Inferred Status	None
Size	49533
Compressed Size	9047
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	193	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 35

Status	unknown
Inferred Status	None
Size	49580
Compressed Size	9055
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 36

Status	unknown
Inferred Status	None
Size	49599
Compressed Size	9058
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 37

Status	unknown
Inferred Status	None
Size	49604
Compressed Size	9049
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 38

Status	unknown
Inferred Status	None
Size	49625
Compressed Size	9058
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 39

Status	unknown
Inferred Status	None
Size	49644
Compressed Size	9060
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 40

Status	unknown
Inferred Status	None
Size	49663
Compressed Size	9055
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 41

Status	unknown
Inferred Status	None
Size	49665
Compressed Size	9057
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 42

Status	unknown
Inferred Status	None
Size	49693
Compressed Size	9062
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	67	>	7
>=	42

Query 43

Status	unknown
Inferred Status	None
Size	49705
Compressed Size	9063
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	193	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	68	>	7
>=	42

Query 44

Status	unknown
Inferred Status	None
Size	49732
Compressed Size	9070
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	193	forall	19
Int	20	div	4	+	19	-	18
*	8	<	13	<=	68	>	7
>=	42

Query 45

Status	unknown
Inferred Status	None
Size	49814
Compressed Size	9090
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	4	+	19	-	19
*	8	<	13	<=	67	>	7
>=	42

Query 46

Status	unknown
Inferred Status	None
Size	49976
Compressed Size	9113
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	5	+	21	-	22
*	9	<	13	<=	67	>	7
>=	42

Query 47

Status	unknown
Inferred Status	None
Size	49966
Compressed Size	9118
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	33
Declared Datatypes	0

Symbols

true	7	Bool	33	not	48	or	3
and	22	=>	25	=	194	forall	19
Int	20	div	5	+	21	-	20
*	9	<	13	<=	67	>	7
>=	42

Query 48

Status	unknown
Inferred Status	None
Size	48703
Compressed Size	8912
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	25	=>	24	=	186	forall	17
Int	18	div	2	+	26	-	15
*	6	<	14	<=	70	>	7
>=	44

Query 49

Status	unknown
Inferred Status	None
Size	48715
Compressed Size	8918
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	25	=>	24	=	186	forall	17
Int	18	div	2	+	26	-	15
*	6	<	14	<=	70	>	7
>=	44

Query 50

Status	unknown
Inferred Status	None
Size	48810
Compressed Size	8930
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	26	=>	24	=	186	forall	17
Int	18	div	2	+	27	-	16
*	6	<	14	<=	71	>	7
>=	45

Query 51

Status	unknown
Inferred Status	None
Size	48829
Compressed Size	8933
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	26	=>	24	=	186	forall	17
Int	18	div	2	+	27	-	16
*	6	<	14	<=	71	>	7
>=	45

Query 52

Status	unknown
Inferred Status	None
Size	48802
Compressed Size	8927
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	25	=>	24	=	187	forall	17
Int	18	div	2	+	26	-	15
*	6	<	14	<=	70	>	7
>=	44

Query 53

Status	unknown
Inferred Status	None
Size	48853
Compressed Size	8935
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	25	=>	24	=	187	forall	17
Int	18	div	2	+	27	-	16
*	6	<	14	<=	70	>	7
>=	44

Query 54

Status	unknown
Inferred Status	None
Size	48801
Compressed Size	8922
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	25	=>	24	=	186	forall	17
Int	18	div	2	+	26	-	15
*	6	<	14	<=	71	>	7
>=	44

Query 55

Status	unknown
Inferred Status	None
Size	48947
Compressed Size	8950
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	26	=>	25	=	186	forall	17
Int	18	div	2	+	29	-	16
*	6	<	14	<=	71	>	7
>=	45

Query 56

Status	unknown
Inferred Status	None
Size	48966
Compressed Size	8952
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	26	=>	25	=	186	forall	17
Int	18	div	2	+	29	-	16
*	6	<	14	<=	71	>	7
>=	45

Query 57

Status	unknown
Inferred Status	None
Size	48892
Compressed Size	8939
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	25	=>	25	=	187	forall	17
Int	18	div	2	+	27	-	15
*	6	<	14	<=	70	>	7
>=	44

Query 58

Status	unknown
Inferred Status	None
Size	48912
Compressed Size	8943
Max. Term Depth	10
Asserts	34
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	46	or	4
and	25	=>	25	=	187	forall	17
Int	18	div	2	+	27	-	15
*	6	<	14	<=	70	>	7
>=	44

Query 59

Status	unknown
Inferred Status	None
Size	50453
Compressed Size	9118
Max. Term Depth	10
Asserts	53
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	46	or	5
and	32	=>	27	=	192	forall	17
Int	18	div	2	+	37	-	20
*	6	<	15	<=	77	>	7
>=	50

Query 60

Status	unknown
Inferred Status	None
Size	50472
Compressed Size	9124
Max. Term Depth	10
Asserts	53
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	46	or	5
and	32	=>	27	=	192	forall	17
Int	18	div	2	+	37	-	20
*	6	<	15	<=	78	>	7
>=	49

Query 61

Status	unknown
Inferred Status	None
Size	47298
Compressed Size	8653
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	179	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 62

Status	unknown
Inferred Status	None
Size	47476
Compressed Size	8671
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	182	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 63

Status	unknown
Inferred Status	None
Size	47328
Compressed Size	8658
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	179	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 64

Status	unknown
Inferred Status	None
Size	47506
Compressed Size	8683
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	182	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 65

Status	unknown
Inferred Status	None
Size	47703
Compressed Size	8739
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	65	>	7
>=	41

Query 66

Status	unknown
Inferred Status	None
Size	47722
Compressed Size	8744
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	65	>	7
>=	41

Query 67

Status	unknown
Inferred Status	None
Size	47753
Compressed Size	8748
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	65	>	7
>=	42

Query 68

Status	unknown
Inferred Status	None
Size	47751
Compressed Size	8746
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	66	>	7
>=	41

Query 69

Status	unknown
Inferred Status	None
Size	47806
Compressed Size	8751
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	24	=	179	forall	17
Int	18	div	2	+	17	-	10
*	6	<	15	<=	65	>	7
>=	41

Query 70

Status	unknown
Inferred Status	None
Size	48096
Compressed Size	8786
Max. Term Depth	10
Asserts	30
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	24	=	182	forall	17
Int	18	div	2	+	17	-	10
*	6	<	15	<=	66	>	7
>=	42

Query 71

Status	unknown
Inferred Status	None
Size	47558
Compressed Size	8705
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	180	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	40

Query 72

Status	unknown
Inferred Status	None
Size	47578
Compressed Size	8703
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	180	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	40

Query 73

Status	unknown
Inferred Status	None
Size	47609
Compressed Size	8711
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	181	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	40

Query 74

Status	unknown
Inferred Status	None
Size	47609
Compressed Size	8709
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	180	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	66	>	7
>=	40

Query 75

Status	unknown
Inferred Status	None
Size	47908
Compressed Size	8746
Max. Term Depth	10
Asserts	28
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	184	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	66	>	7
>=	40

Query 76

Status	unknown
Inferred Status	None
Size	47818
Compressed Size	8746
Max. Term Depth	10
Asserts	25
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	181	forall	17
Int	18	div	2	+	17	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 77

Status	unknown
Inferred Status	None
Size	47857
Compressed Size	8754
Max. Term Depth	10
Asserts	25
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	181	forall	17
Int	18	div	2	+	17	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 78

Status	unknown
Inferred Status	None
Size	47858
Compressed Size	8753
Max. Term Depth	10
Asserts	25
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	181	forall	17
Int	18	div	2	+	17	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 79

Status	unknown
Inferred Status	None
Size	47893
Compressed Size	8753
Max. Term Depth	10
Asserts	25
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	181	forall	17
Int	18	div	2	+	18	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 80

Status	unknown
Inferred Status	None
Size	47909
Compressed Size	8760
Max. Term Depth	10
Asserts	25
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	182	forall	17
Int	18	div	2	+	17	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 81

Status	unknown
Inferred Status	None
Size	47944
Compressed Size	8756
Max. Term Depth	10
Asserts	25
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	182	forall	17
Int	18	div	2	+	18	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 82

Status	unknown
Inferred Status	None
Size	48438
Compressed Size	8810
Max. Term Depth	10
Asserts	36
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	186	forall	17
Int	18	div	2	+	19	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 83

Status	unknown
Inferred Status	None
Size	47800
Compressed Size	8762
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	65	>	7
>=	41

Query 84

Status	unknown
Inferred Status	None
Size	47820
Compressed Size	8760
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	65	>	7
>=	41

Query 85

Status	unknown
Inferred Status	None
Size	47852
Compressed Size	8763
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	65	>	7
>=	42

Query 86

Status	unknown
Inferred Status	None
Size	47851
Compressed Size	8762
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	23	=	179	forall	17
Int	18	div	2	+	16	-	10
*	6	<	14	<=	66	>	7
>=	41

Query 87

Status	unknown
Inferred Status	None
Size	47907
Compressed Size	8766
Max. Term Depth	10
Asserts	22
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	7	Bool	13	not	46	or	4
and	19	=>	24	=	179	forall	17
Int	18	div	2	+	17	-	10
*	6	<	15	<=	65	>	7
>=	41

Query 88

Status	unknown
Inferred Status	None
Size	48192
Compressed Size	8797
Max. Term Depth	10
Asserts	30
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	24	=	182	forall	17
Int	18	div	2	+	17	-	10
*	6	<	15	<=	66	>	7
>=	42

Query 89

Status	unknown
Inferred Status	None
Size	47654
Compressed Size	8728
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	180	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	40

Query 90

Status	unknown
Inferred Status	None
Size	47674
Compressed Size	8722
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	180	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	40

Query 91

Status	unknown
Inferred Status	None
Size	47705
Compressed Size	8729
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	181	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	65	>	7
>=	40

Query 92

Status	unknown
Inferred Status	None
Size	47705
Compressed Size	8725
Max. Term Depth	10
Asserts	21
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	180	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	66	>	7
>=	40

Query 93

Status	unknown
Inferred Status	None
Size	48004
Compressed Size	8763
Max. Term Depth	10
Asserts	28
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	184	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	66	>	7
>=	40

Query 94

Status	unknown
Inferred Status	None
Size	47519
Compressed Size	8693
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	179	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 95

Status	unknown
Inferred Status	None
Size	47698
Compressed Size	8714
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	182	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 96

Status	unknown
Inferred Status	None
Size	47534
Compressed Size	8683
Max. Term Depth	10
Asserts	16
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	182	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 97

Status	unknown
Inferred Status	None
Size	47567
Compressed Size	8701
Max. Term Depth	10
Asserts	17
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	179	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 98

Status	unknown
Inferred Status	None
Size	47746
Compressed Size	8718
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	5
and	19	=>	22	=	182	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	64	>	7
>=	40

Query 99

Status	unknown
Inferred Status	None
Size	47733
Compressed Size	8733
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	179	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	66	>	7
>=	40

Query 100

Status	unknown
Inferred Status	None
Size	47753
Compressed Size	8735
Max. Term Depth	10
Asserts	20
Declared Functions	117
Declared Constants	562
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	46	or	4
and	19	=>	22	=	179	forall	17
Int	18	div	2	+	15	-	10
*	6	<	13	<=	67	>	7
>=	40