Benchmark

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

Benchmark without description.

Benchmark
Size	254946
Compressed Size	26763
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	306

Query 1

Status	unknown
Inferred Status	None
Size	123649
Compressed Size	19700
Max. Term Depth	34
Asserts	10
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 2

Status	unknown
Inferred Status	None
Size	123696
Compressed Size	19709
Max. Term Depth	34
Asserts	10
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 3

Status	unknown
Inferred Status	None
Size	123711
Compressed Size	19706
Max. Term Depth	34
Asserts	10
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 4

Status	unknown
Inferred Status	None
Size	123730
Compressed Size	19710
Max. Term Depth	34
Asserts	10
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 5

Status	unknown
Inferred Status	None
Size	123747
Compressed Size	19712
Max. Term Depth	34
Asserts	10
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	88	and	86
=>	102	=	762	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 6

Status	unknown
Inferred Status	None
Size	124706
Compressed Size	19795
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	85
=>	101	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 7

Status	unknown
Inferred Status	None
Size	124746
Compressed Size	19814
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 8

Status	unknown
Inferred Status	None
Size	124775
Compressed Size	19824
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 9

Status	unknown
Inferred Status	None
Size	124804
Compressed Size	19837
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 10

Status	unknown
Inferred Status	None
Size	124833
Compressed Size	19844
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 11

Status	unknown
Inferred Status	None
Size	124870
Compressed Size	19846
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 12

Status	unknown
Inferred Status	None
Size	124882
Compressed Size	19853
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 13

Status	unknown
Inferred Status	None
Size	124919
Compressed Size	19858
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 14

Status	unknown
Inferred Status	None
Size	124932
Compressed Size	19861
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 15

Status	unknown
Inferred Status	None
Size	124964
Compressed Size	19868
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 16

Status	unknown
Inferred Status	None
Size	124996
Compressed Size	19874
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 17

Status	unknown
Inferred Status	None
Size	125028
Compressed Size	19879
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 18

Status	unknown
Inferred Status	None
Size	125060
Compressed Size	19882
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 19

Status	unknown
Inferred Status	None
Size	125092
Compressed Size	19890
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 20

Status	unknown
Inferred Status	None
Size	125124
Compressed Size	19900
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	36
Declared Datatypes	0

Symbols

true	6	Bool	36	not	88	and	86
=>	102	=	761	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 21

Status	unknown
Inferred Status	None
Size	123879
Compressed Size	19758
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	88	and	86
=>	102	=	763	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 22

Status	unknown
Inferred Status	None
Size	123899
Compressed Size	19760
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	88	and	86
=>	102	=	763	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 23

Status	unknown
Inferred Status	None
Size	123914
Compressed Size	19759
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	88	and	86
=>	102	=	763	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 24

Status	unknown
Inferred Status	None
Size	123933
Compressed Size	19761
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	6	Bool	17	not	88	and	86
=>	102	=	763	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 25

Status	unknown
Inferred Status	None
Size	127701
Compressed Size	20289
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 26

Status	unknown
Inferred Status	None
Size	127761
Compressed Size	20324
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	29	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 27

Status	unknown
Inferred Status	None
Size	127780
Compressed Size	20324
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	29	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 28

Status	unknown
Inferred Status	None
Size	127940
Compressed Size	20356
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 29

Status	unknown
Inferred Status	None
Size	127959
Compressed Size	20357
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 30

Status	unknown
Inferred Status	None
Size	127976
Compressed Size	20369
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	29	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 31

Status	unknown
Inferred Status	None
Size	127994
Compressed Size	20367
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	29	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 32

Status	unknown
Inferred Status	None
Size	128106
Compressed Size	20391
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 33

Status	unknown
Inferred Status	None
Size	128125
Compressed Size	20394
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 34

Status	unknown
Inferred Status	None
Size	128145
Compressed Size	20398
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 35

Status	unknown
Inferred Status	None
Size	128165
Compressed Size	20397
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	769	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 36

Status	unknown
Inferred Status	None
Size	128184
Compressed Size	20398
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	770	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 37

Status	unknown
Inferred Status	None
Size	128204
Compressed Size	20404
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	770	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 38

Status	unknown
Inferred Status	None
Size	128248
Compressed Size	20409
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	770	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 39

Status	unknown
Inferred Status	None
Size	128268
Compressed Size	20418
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	73
Declared Datatypes	0

Symbols

true	6	Bool	73	not	88	and	88
=>	106	=	770	forall	81	exists	3
Int	110	div	1	+	28	-	33
*	4	<	7	<=	66	>	4
>=	51

Query 40

Status	unknown
Inferred Status	None
Size	124319
Compressed Size	19819
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	88	and	86
=>	102	=	771	forall	79	exists	3
Int	108	div	1	+	25	-	33
*	4	<	11	<=	58	>	4
>=	51

Query 41

Status	unknown
Inferred Status	None
Size	124353
Compressed Size	19837
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	88	and	86
=>	102	=	771	forall	79	exists	3
Int	108	div	1	+	25	-	33
*	4	<	11	<=	58	>	4
>=	51

Query 42

Status	unknown
Inferred Status	None
Size	124390
Compressed Size	19844
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	88	and	86
=>	102	=	771	forall	79	exists	3
Int	108	div	1	+	25	-	33
*	4	<	11	<=	58	>	4
>=	51

Query 43

Status	unknown
Inferred Status	None
Size	124421
Compressed Size	19849
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	88	and	86
=>	102	=	771	forall	79	exists	3
Int	108	div	1	+	25	-	33
*	4	<	11	<=	58	>	4
>=	51

Query 44

Status	unknown
Inferred Status	None
Size	124440
Compressed Size	19850
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	88	and	86
=>	102	=	771	forall	79	exists	3
Int	108	div	1	+	25	-	33
*	4	<	11	<=	58	>	4
>=	51

Query 45

Status	unknown
Inferred Status	None
Size	124705
Compressed Size	19863
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	and	86
=>	102	=	769	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 46

Status	unknown
Inferred Status	None
Size	124729
Compressed Size	19873
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	and	86
=>	102	=	769	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 47

Status	unknown
Inferred Status	None
Size	124754
Compressed Size	19880
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	and	86
=>	102	=	769	forall	79	exists	3
Int	108	div	1	+	24	-	33
*	4	<	7	<=	58	>	4
>=	51

Query 48

Status	unknown
Inferred Status	None
Size	124832
Compressed Size	19905
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 49

Status	unknown
Inferred Status	None
Size	124851
Compressed Size	19907
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 50

Status	unknown
Inferred Status	None
Size	124870
Compressed Size	19909
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 51

Status	unknown
Inferred Status	None
Size	124889
Compressed Size	19910
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 52

Status	unknown
Inferred Status	None
Size	124908
Compressed Size	19913
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 53

Status	unknown
Inferred Status	None
Size	124927
Compressed Size	19914
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 54

Status	unknown
Inferred Status	None
Size	124947
Compressed Size	19918
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 55

Status	unknown
Inferred Status	None
Size	124967
Compressed Size	19922
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	771	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 56

Status	unknown
Inferred Status	None
Size	125076
Compressed Size	19939
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 57

Status	unknown
Inferred Status	None
Size	125096
Compressed Size	19943
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 58

Status	unknown
Inferred Status	None
Size	125116
Compressed Size	19945
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 59

Status	unknown
Inferred Status	None
Size	125136
Compressed Size	19948
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 60

Status	unknown
Inferred Status	None
Size	125156
Compressed Size	19952
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 61

Status	unknown
Inferred Status	None
Size	125176
Compressed Size	19956
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 62

Status	unknown
Inferred Status	None
Size	125196
Compressed Size	19958
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 63

Status	unknown
Inferred Status	None
Size	125216
Compressed Size	19962
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	2
and	87	=>	102	=	774	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 64

Status	unknown
Inferred Status	None
Size	125362
Compressed Size	20000
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	782	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 65

Status	unknown
Inferred Status	None
Size	125382
Compressed Size	20002
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	782	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 66

Status	unknown
Inferred Status	None
Size	125403
Compressed Size	20006
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	782	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 67

Status	unknown
Inferred Status	None
Size	125423
Compressed Size	20008
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	782	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 68

Status	unknown
Inferred Status	None
Size	125443
Compressed Size	20009
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	782	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 69

Status	unknown
Inferred Status	None
Size	125463
Compressed Size	20010
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	782	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 70

Status	unknown
Inferred Status	None
Size	125507
Compressed Size	20018
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	783	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 71

Status	unknown
Inferred Status	None
Size	125527
Compressed Size	20019
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	4
and	87	=>	102	=	783	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 72

Status	unknown
Inferred Status	None
Size	125426
Compressed Size	19992
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 73

Status	unknown
Inferred Status	None
Size	125446
Compressed Size	19993
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 74

Status	unknown
Inferred Status	None
Size	125466
Compressed Size	19995
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 75

Status	unknown
Inferred Status	None
Size	125486
Compressed Size	19995
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 76

Status	unknown
Inferred Status	None
Size	125506
Compressed Size	19998
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 77

Status	unknown
Inferred Status	None
Size	125526
Compressed Size	19999
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 78

Status	unknown
Inferred Status	None
Size	125546
Compressed Size	20002
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 79

Status	unknown
Inferred Status	None
Size	125566
Compressed Size	20003
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	3
and	86	=>	102	=	777	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 80

Status	unknown
Inferred Status	None
Size	125851
Compressed Size	20036
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	7
and	87	=>	102	=	790	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 81

Status	unknown
Inferred Status	None
Size	125871
Compressed Size	20037
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	7
and	87	=>	102	=	790	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 82

Status	unknown
Inferred Status	None
Size	125891
Compressed Size	20039
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	7
and	87	=>	102	=	790	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 83

Status	unknown
Inferred Status	None
Size	125543
Compressed Size	19991
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 84

Status	unknown
Inferred Status	None
Size	125563
Compressed Size	19992
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 85

Status	unknown
Inferred Status	None
Size	125583
Compressed Size	19994
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 86

Status	unknown
Inferred Status	None
Size	125603
Compressed Size	19996
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 87

Status	unknown
Inferred Status	None
Size	125623
Compressed Size	19997
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 88

Status	unknown
Inferred Status	None
Size	125643
Compressed Size	19999
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 89

Status	unknown
Inferred Status	None
Size	125663
Compressed Size	20002
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 90

Status	unknown
Inferred Status	None
Size	125683
Compressed Size	20004
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 91

Status	unknown
Inferred Status	None
Size	126078
Compressed Size	20053
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	7
and	87	=>	102	=	790	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 92

Status	unknown
Inferred Status	None
Size	125769
Compressed Size	20009
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	1
and	87	=>	102	=	773	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 93

Status	unknown
Inferred Status	None
Size	125789
Compressed Size	20012
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	1
and	87	=>	102	=	773	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 94

Status	unknown
Inferred Status	None
Size	125809
Compressed Size	20014
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	1
and	87	=>	102	=	773	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 95

Status	unknown
Inferred Status	None
Size	125829
Compressed Size	20016
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	94	or	1
and	87	=>	102	=	773	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 96

Status	unknown
Inferred Status	None
Size	125806
Compressed Size	20006
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 97

Status	unknown
Inferred Status	None
Size	125826
Compressed Size	20008
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 98

Status	unknown
Inferred Status	None
Size	125846
Compressed Size	20008
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 99

Status	unknown
Inferred Status	None
Size	125866
Compressed Size	20009
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51

Query 100

Status	unknown
Inferred Status	None
Size	125886
Compressed Size	20011
Max. Term Depth	34
Asserts	13
Declared Functions	123
Declared Constants	1426
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	92	or	1
and	86	=>	102	=	772	forall	79
exists	3	Int	108	div	1	+	24
-	33	*	4	<	7	<=	58
>	4	>=	51