Benchmark

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

Benchmark without description.

Benchmark
Size	130277
Compressed Size	18327
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	115

Query 1

Status	unknown
Inferred Status	None
Size	97663
Compressed Size	15691
Max. Term Depth	34
Asserts	10
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	85	and	78
=>	97	=	745	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 2

Status	unknown
Inferred Status	None
Size	97714
Compressed Size	15707
Max. Term Depth	34
Asserts	10
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	85	and	78
=>	97	=	745	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 3

Status	unknown
Inferred Status	None
Size	97821
Compressed Size	15728
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	77
=>	96	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 4

Status	unknown
Inferred Status	None
Size	97831
Compressed Size	15737
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	77
=>	96	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 5

Status	unknown
Inferred Status	None
Size	97822
Compressed Size	15719
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	77
=>	96	=	745	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 6

Status	unknown
Inferred Status	None
Size	97817
Compressed Size	15723
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	77
=>	96	=	745	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 7

Status	unknown
Inferred Status	None
Size	97827
Compressed Size	15729
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	77
=>	96	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 8

Status	unknown
Inferred Status	None
Size	98987
Compressed Size	15950
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	85	and	83
=>	98	=	754	forall	76	exists	3
Int	105	div	1	+	14	-	29
*	4	<	5	<=	57	>	2
>=	44

Query 9

Status	unknown
Inferred Status	None
Size	98800
Compressed Size	15943
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	85	and	81
=>	98	=	752	forall	76	exists	2
Int	104	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	42

Query 10

Status	unknown
Inferred Status	None
Size	98796
Compressed Size	15944
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	85	and	81
=>	98	=	753	forall	76	exists	2
Int	104	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	42

Query 11

Status	unknown
Inferred Status	None
Size	98815
Compressed Size	15945
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	85	and	81
=>	98	=	753	forall	76	exists	2
Int	104	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	42

Query 12

Status	unknown
Inferred Status	None
Size	98875
Compressed Size	15950
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	7	Bool	15	not	85	and	81
=>	98	=	753	forall	76	exists	2
Int	104	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	42

Query 13

Status	unknown
Inferred Status	None
Size	97807
Compressed Size	15725
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	85	and	78
=>	97	=	745	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 14

Status	unknown
Inferred Status	None
Size	97831
Compressed Size	15733
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	14
Declared Datatypes	0

Symbols

true	7	Bool	14	not	85	and	78
=>	97	=	745	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 15

Status	unknown
Inferred Status	None
Size	97935
Compressed Size	15722
Max. Term Depth	34
Asserts	19
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	77
=>	96	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 16

Status	unknown
Inferred Status	None
Size	97954
Compressed Size	15726
Max. Term Depth	34
Asserts	19
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	77
=>	96	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 17

Status	unknown
Inferred Status	None
Size	98086
Compressed Size	15752
Max. Term Depth	34
Asserts	21
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	87	and	77
=>	96	=	748	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 18

Status	unknown
Inferred Status	None
Size	98105
Compressed Size	15759
Max. Term Depth	34
Asserts	21
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	87	and	77
=>	96	=	748	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	38

Query 19

Status	unknown
Inferred Status	None
Size	99327
Compressed Size	16030
Max. Term Depth	34
Asserts	25
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	86
=>	100	=	756	forall	78	exists	2
Int	108	div	1	+	14	-	33
*	4	<	4	<=	60	>	2
>=	48

Query 20

Status	unknown
Inferred Status	None
Size	99340
Compressed Size	16026
Max. Term Depth	34
Asserts	25
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	86
=>	100	=	756	forall	78	exists	2
Int	108	div	1	+	14	-	33
*	4	<	4	<=	60	>	2
>=	48

Query 21

Status	unknown
Inferred Status	None
Size	99574
Compressed Size	15996
Max. Term Depth	34
Asserts	27
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	88
=>	101	=	758	forall	80	exists	2
Int	112	div	1	+	14	-	35
*	4	<	4	<=	62	>	2
>=	50

Query 22

Status	unknown
Inferred Status	None
Size	99612
Compressed Size	16008
Max. Term Depth	34
Asserts	27
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	7	Bool	12	not	85	and	88
=>	101	=	759	forall	80	exists	2
Int	112	div	1	+	14	-	35
*	4	<	4	<=	62	>	2
>=	50

Query 23

Status	unknown
Inferred Status	None
Size	98313
Compressed Size	15834
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 24

Status	unknown
Inferred Status	None
Size	98357
Compressed Size	15847
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 25

Status	unknown
Inferred Status	None
Size	98358
Compressed Size	15843
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 26

Status	unknown
Inferred Status	None
Size	98400
Compressed Size	15856
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 27

Status	unknown
Inferred Status	None
Size	98401
Compressed Size	15853
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 28

Status	unknown
Inferred Status	None
Size	98443
Compressed Size	15863
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 29

Status	unknown
Inferred Status	None
Size	98444
Compressed Size	15862
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 30

Status	unknown
Inferred Status	None
Size	98486
Compressed Size	15873
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	17
Declared Datatypes	0

Symbols

true	7	Bool	17	not	85	and	78
=>	97	=	747	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	52	>	2
>=	38

Query 31

Status	unknown
Inferred Status	None
Size	98197
Compressed Size	15796
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	77
=>	96	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 32

Status	unknown
Inferred Status	None
Size	98242
Compressed Size	15813
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	77
=>	96	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 33

Status	unknown
Inferred Status	None
Size	98258
Compressed Size	15812
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	78
=>	97	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 34

Status	unknown
Inferred Status	None
Size	98303
Compressed Size	15822
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	78
=>	97	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 35

Status	unknown
Inferred Status	None
Size	98305
Compressed Size	15818
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	78
=>	97	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 36

Status	unknown
Inferred Status	None
Size	98348
Compressed Size	15830
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	78
=>	97	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 37

Status	unknown
Inferred Status	None
Size	98350
Compressed Size	15828
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	78
=>	97	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 38

Status	unknown
Inferred Status	None
Size	98393
Compressed Size	15838
Max. Term Depth	34
Asserts	17
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	7	Bool	16	not	85	and	78
=>	97	=	746	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 39

Status	unknown
Inferred Status	None
Size	99207
Compressed Size	16040
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	80
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 40

Status	unknown
Inferred Status	None
Size	99233
Compressed Size	16044
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 41

Status	unknown
Inferred Status	None
Size	99258
Compressed Size	16052
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 42

Status	unknown
Inferred Status	None
Size	99297
Compressed Size	16053
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 43

Status	unknown
Inferred Status	None
Size	99317
Compressed Size	16057
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 44

Status	unknown
Inferred Status	None
Size	99332
Compressed Size	16051
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 45

Status	unknown
Inferred Status	None
Size	99339
Compressed Size	16056
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 46

Status	unknown
Inferred Status	None
Size	99358
Compressed Size	16058
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 47

Status	unknown
Inferred Status	None
Size	99402
Compressed Size	16068
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 48

Status	unknown
Inferred Status	None
Size	99423
Compressed Size	16072
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 49

Status	unknown
Inferred Status	None
Size	99425
Compressed Size	16068
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 50

Status	unknown
Inferred Status	None
Size	99470
Compressed Size	16080
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 51

Status	unknown
Inferred Status	None
Size	99491
Compressed Size	16083
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 52

Status	unknown
Inferred Status	None
Size	99477
Compressed Size	16087
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 53

Status	unknown
Inferred Status	None
Size	99498
Compressed Size	16092
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 54

Status	unknown
Inferred Status	None
Size	99549
Compressed Size	16088
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 55

Status	unknown
Inferred Status	None
Size	99556
Compressed Size	16092
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 56

Status	unknown
Inferred Status	None
Size	99577
Compressed Size	16102
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 57

Status	unknown
Inferred Status	None
Size	99622
Compressed Size	16106
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 58

Status	unknown
Inferred Status	None
Size	99643
Compressed Size	16114
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 59

Status	unknown
Inferred Status	None
Size	99664
Compressed Size	16109
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 60

Status	unknown
Inferred Status	None
Size	99685
Compressed Size	16118
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 61

Status	unknown
Inferred Status	None
Size	99706
Compressed Size	16120
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 62

Status	unknown
Inferred Status	None
Size	99705
Compressed Size	16114
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 63

Status	unknown
Inferred Status	None
Size	99713
Compressed Size	16122
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 64

Status	unknown
Inferred Status	None
Size	99764
Compressed Size	16113
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 65

Status	unknown
Inferred Status	None
Size	99785
Compressed Size	16122
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 66

Status	unknown
Inferred Status	None
Size	99792
Compressed Size	16125
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 67

Status	unknown
Inferred Status	None
Size	99837
Compressed Size	16136
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 68

Status	unknown
Inferred Status	None
Size	99858
Compressed Size	16137
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 69

Status	unknown
Inferred Status	None
Size	99845
Compressed Size	16137
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 70

Status	unknown
Inferred Status	None
Size	99895
Compressed Size	16136
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 71

Status	unknown
Inferred Status	None
Size	99903
Compressed Size	16139
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 72

Status	unknown
Inferred Status	None
Size	99948
Compressed Size	16149
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 73

Status	unknown
Inferred Status	None
Size	99969
Compressed Size	16151
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 74

Status	unknown
Inferred Status	None
Size	99985
Compressed Size	16148
Max. Term Depth	34
Asserts	26
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	7	Bool	22	not	85	and	81
=>	98	=	753	forall	76	exists	1
Int	103	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	43

Query 75

Status	unknown
Inferred Status	None
Size	98490
Compressed Size	15874
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	81
=>	97	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 76

Status	unknown
Inferred Status	None
Size	98515
Compressed Size	15881
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	81
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 77

Status	unknown
Inferred Status	None
Size	98540
Compressed Size	15888
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	81
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 78

Status	unknown
Inferred Status	None
Size	98579
Compressed Size	15895
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	81
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 79

Status	unknown
Inferred Status	None
Size	98586
Compressed Size	15893
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 80

Status	unknown
Inferred Status	None
Size	98606
Compressed Size	15891
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 81

Status	unknown
Inferred Status	None
Size	98650
Compressed Size	15905
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 82

Status	unknown
Inferred Status	None
Size	98670
Compressed Size	15908
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 83

Status	unknown
Inferred Status	None
Size	98655
Compressed Size	15901
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 84

Status	unknown
Inferred Status	None
Size	98692
Compressed Size	15904
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 85

Status	unknown
Inferred Status	None
Size	98713
Compressed Size	15908
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 86

Status	unknown
Inferred Status	None
Size	98758
Compressed Size	15919
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 87

Status	unknown
Inferred Status	None
Size	98779
Compressed Size	15923
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 88

Status	unknown
Inferred Status	None
Size	98800
Compressed Size	15926
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 89

Status	unknown
Inferred Status	None
Size	98786
Compressed Size	15924
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 90

Status	unknown
Inferred Status	None
Size	98807
Compressed Size	15926
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 91

Status	unknown
Inferred Status	None
Size	98858
Compressed Size	15933
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 92

Status	unknown
Inferred Status	None
Size	98865
Compressed Size	15936
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 93

Status	unknown
Inferred Status	None
Size	98886
Compressed Size	15939
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 94

Status	unknown
Inferred Status	None
Size	98931
Compressed Size	15949
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 95

Status	unknown
Inferred Status	None
Size	98952
Compressed Size	15952
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 96

Status	unknown
Inferred Status	None
Size	98973
Compressed Size	15954
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 97

Status	unknown
Inferred Status	None
Size	98994
Compressed Size	15955
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 98

Status	unknown
Inferred Status	None
Size	98980
Compressed Size	15954
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 99

Status	unknown
Inferred Status	None
Size	99031
Compressed Size	15955
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43

Query 100

Status	unknown
Inferred Status	None
Size	99052
Compressed Size	15959
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1027
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	7	Bool	18	not	85	and	82
=>	98	=	748	forall	76	exists	1
Int	104	div	1	+	13	-	29
*	4	<	4	<=	56	>	2
>=	43