Benchmark

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

Benchmark without description.

Benchmark
Size	235700
Compressed Size	23733
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	374

Query 1

Status	unknown
Inferred Status	None
Size	103237
Compressed Size	16769
Max. Term Depth	34
Asserts	10
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	20
Declared Datatypes	0

Symbols

true	6	Bool	20	not	82	and	79
=>	98	=	753	forall	75	exists	3
Int	104	div	1	+	14	-	27
*	4	<	8	<=	53	>	3
>=	44

Query 2

Status	unknown
Inferred Status	None
Size	103798
Compressed Size	16871
Max. Term Depth	34
Asserts	25
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	83	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	27
*	4	<	8	<=	53	>	3
>=	44

Query 3

Status	unknown
Inferred Status	None
Size	103813
Compressed Size	16874
Max. Term Depth	34
Asserts	25
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	16
Declared Datatypes	0

Symbols

true	6	Bool	16	not	83	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	27
*	4	<	8	<=	53	>	3
>=	44

Query 4

Status	unknown
Inferred Status	None
Size	104241
Compressed Size	16965
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 5

Status	unknown
Inferred Status	None
Size	104294
Compressed Size	16984
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 6

Status	unknown
Inferred Status	None
Size	104278
Compressed Size	16979
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 7

Status	unknown
Inferred Status	None
Size	104373
Compressed Size	16983
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 8

Status	unknown
Inferred Status	None
Size	104374
Compressed Size	17008
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	54	>	3
>=	44

Query 9

Status	unknown
Inferred Status	None
Size	104401
Compressed Size	17010
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	85	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 10

Status	unknown
Inferred Status	None
Size	104400
Compressed Size	17004
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 11

Status	unknown
Inferred Status	None
Size	104435
Compressed Size	17010
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 12

Status	unknown
Inferred Status	None
Size	104453
Compressed Size	17017
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	16	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 13

Status	unknown
Inferred Status	None
Size	104542
Compressed Size	17033
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 14

Status	unknown
Inferred Status	None
Size	104518
Compressed Size	17038
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 15

Status	unknown
Inferred Status	None
Size	104657
Compressed Size	17063
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 16

Status	unknown
Inferred Status	None
Size	104636
Compressed Size	17052
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	10	<=	53	>	3
>=	44

Query 17

Status	unknown
Inferred Status	None
Size	104256
Compressed Size	16971
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 18

Status	unknown
Inferred Status	None
Size	104309
Compressed Size	16989
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 19

Status	unknown
Inferred Status	None
Size	104293
Compressed Size	16984
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 20

Status	unknown
Inferred Status	None
Size	104388
Compressed Size	16987
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 21

Status	unknown
Inferred Status	None
Size	104389
Compressed Size	17012
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	54	>	3
>=	44

Query 22

Status	unknown
Inferred Status	None
Size	104416
Compressed Size	17014
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	85	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 23

Status	unknown
Inferred Status	None
Size	104415
Compressed Size	17009
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 24

Status	unknown
Inferred Status	None
Size	104450
Compressed Size	17016
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 25

Status	unknown
Inferred Status	None
Size	104468
Compressed Size	17021
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	16	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 26

Status	unknown
Inferred Status	None
Size	104557
Compressed Size	17037
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 27

Status	unknown
Inferred Status	None
Size	104533
Compressed Size	17040
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 28

Status	unknown
Inferred Status	None
Size	104672
Compressed Size	17066
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	760	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	53	>	3
>=	44

Query 29

Status	unknown
Inferred Status	None
Size	104651
Compressed Size	17056
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	10	<=	53	>	3
>=	44

Query 30

Status	unknown
Inferred Status	None
Size	104233
Compressed Size	16950
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 31

Status	unknown
Inferred Status	None
Size	104286
Compressed Size	16966
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 32

Status	unknown
Inferred Status	None
Size	104270
Compressed Size	16965
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 33

Status	unknown
Inferred Status	None
Size	104365
Compressed Size	16966
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 34

Status	unknown
Inferred Status	None
Size	104366
Compressed Size	16990
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	55	>	3
>=	45

Query 35

Status	unknown
Inferred Status	None
Size	104393
Compressed Size	16994
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	85	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 36

Status	unknown
Inferred Status	None
Size	104392
Compressed Size	16987
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 37

Status	unknown
Inferred Status	None
Size	104427
Compressed Size	16994
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 38

Status	unknown
Inferred Status	None
Size	104445
Compressed Size	17000
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	16	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 39

Status	unknown
Inferred Status	None
Size	104534
Compressed Size	17017
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 40

Status	unknown
Inferred Status	None
Size	104510
Compressed Size	17016
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 41

Status	unknown
Inferred Status	None
Size	104649
Compressed Size	17045
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 42

Status	unknown
Inferred Status	None
Size	104628
Compressed Size	17035
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	54	>	3
>=	45

Query 43

Status	unknown
Inferred Status	None
Size	104248
Compressed Size	16954
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 44

Status	unknown
Inferred Status	None
Size	104301
Compressed Size	16969
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 45

Status	unknown
Inferred Status	None
Size	104285
Compressed Size	16970
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 46

Status	unknown
Inferred Status	None
Size	104380
Compressed Size	16970
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 47

Status	unknown
Inferred Status	None
Size	104381
Compressed Size	16994
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	55	>	3
>=	45

Query 48

Status	unknown
Inferred Status	None
Size	104408
Compressed Size	16998
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	85	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 49

Status	unknown
Inferred Status	None
Size	104407
Compressed Size	16991
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 50

Status	unknown
Inferred Status	None
Size	104442
Compressed Size	16997
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 51

Status	unknown
Inferred Status	None
Size	104460
Compressed Size	17004
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	16	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 52

Status	unknown
Inferred Status	None
Size	104549
Compressed Size	17021
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 53

Status	unknown
Inferred Status	None
Size	104525
Compressed Size	17019
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 54

Status	unknown
Inferred Status	None
Size	104664
Compressed Size	17049
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	759	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	8	<=	54	>	3
>=	45

Query 55

Status	unknown
Inferred Status	None
Size	104643
Compressed Size	17038
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	31
Declared Datatypes	0

Symbols

true	6	Bool	31	not	84	and	79
=>	98	=	758	forall	75	exists	3
Int	104	div	1	+	15	-	27
*	4	<	9	<=	54	>	3
>=	45

Query 56

Status	unknown
Inferred Status	None
Size	106503
Compressed Size	17362
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 57

Status	unknown
Inferred Status	None
Size	106519
Compressed Size	17364
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 58

Status	unknown
Inferred Status	None
Size	106547
Compressed Size	17364
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 59

Status	unknown
Inferred Status	None
Size	106629
Compressed Size	17382
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 60

Status	unknown
Inferred Status	None
Size	106617
Compressed Size	17372
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	84
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	60	>	3
>=	50

Query 61

Status	unknown
Inferred Status	None
Size	106619
Compressed Size	17373
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 62

Status	unknown
Inferred Status	None
Size	106653
Compressed Size	17380
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 63

Status	unknown
Inferred Status	None
Size	106665
Compressed Size	17377
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	40
*	4	<	16	<=	59	>	3
>=	49

Query 64

Status	unknown
Inferred Status	None
Size	106708
Compressed Size	17384
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 65

Status	unknown
Inferred Status	None
Size	106825
Compressed Size	17394
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	41
*	4	<	18	<=	59	>	3
>=	49

Query 66

Status	unknown
Inferred Status	None
Size	106730
Compressed Size	17393
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 67

Status	unknown
Inferred Status	None
Size	106741
Compressed Size	17386
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	40
*	4	<	16	<=	60	>	3
>=	49

Query 68

Status	unknown
Inferred Status	None
Size	106753
Compressed Size	17393
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 69

Status	unknown
Inferred Status	None
Size	106775
Compressed Size	17395
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 70

Status	unknown
Inferred Status	None
Size	106870
Compressed Size	17424
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	40
*	4	<	16	<=	60	>	3
>=	49

Query 71

Status	unknown
Inferred Status	None
Size	106889
Compressed Size	17428
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 72

Status	unknown
Inferred Status	None
Size	106908
Compressed Size	17433
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 73

Status	unknown
Inferred Status	None
Size	106957
Compressed Size	17437
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	85	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 74

Status	unknown
Inferred Status	None
Size	107001
Compressed Size	17445
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	84
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	40
*	4	<	16	<=	60	>	3
>=	50

Query 75

Status	unknown
Inferred Status	None
Size	107007
Compressed Size	17442
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 76

Status	unknown
Inferred Status	None
Size	107025
Compressed Size	17454
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 77

Status	unknown
Inferred Status	None
Size	107116
Compressed Size	17469
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 78

Status	unknown
Inferred Status	None
Size	107094
Compressed Size	17461
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 79

Status	unknown
Inferred Status	None
Size	107135
Compressed Size	17469
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 80

Status	unknown
Inferred Status	None
Size	107163
Compressed Size	17475
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	84
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	27	-	39
*	4	<	16	<=	60	>	3
>=	50

Query 81

Status	unknown
Inferred Status	None
Size	107295
Compressed Size	17475
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	27	-	41
*	4	<	18	<=	59	>	3
>=	49

Query 82

Status	unknown
Inferred Status	None
Size	107227
Compressed Size	17480
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 83

Status	unknown
Inferred Status	None
Size	107231
Compressed Size	17486
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	26	-	40
*	4	<	16	<=	59	>	3
>=	49

Query 84

Status	unknown
Inferred Status	None
Size	107270
Compressed Size	17492
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 85

Status	unknown
Inferred Status	None
Size	107281
Compressed Size	17485
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	28	-	41
*	4	<	17	<=	59	>	3
>=	49

Query 86

Status	unknown
Inferred Status	None
Size	107259
Compressed Size	17476
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	40
*	4	<	16	<=	60	>	3
>=	49

Query 87

Status	unknown
Inferred Status	None
Size	107296
Compressed Size	17487
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 88

Status	unknown
Inferred Status	None
Size	107293
Compressed Size	17491
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 89

Status	unknown
Inferred Status	None
Size	106518
Compressed Size	17365
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 90

Status	unknown
Inferred Status	None
Size	106534
Compressed Size	17368
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 91

Status	unknown
Inferred Status	None
Size	106562
Compressed Size	17369
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 92

Status	unknown
Inferred Status	None
Size	106644
Compressed Size	17389
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	26	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 93

Status	unknown
Inferred Status	None
Size	106632
Compressed Size	17381
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	84
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	60	>	3
>=	50

Query 94

Status	unknown
Inferred Status	None
Size	106634
Compressed Size	17382
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 95

Status	unknown
Inferred Status	None
Size	106668
Compressed Size	17385
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 96

Status	unknown
Inferred Status	None
Size	106680
Compressed Size	17385
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	40
*	4	<	16	<=	59	>	3
>=	49

Query 97

Status	unknown
Inferred Status	None
Size	106723
Compressed Size	17391
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 98

Status	unknown
Inferred Status	None
Size	106840
Compressed Size	17404
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	41
*	4	<	18	<=	59	>	3
>=	49

Query 99

Status	unknown
Inferred Status	None
Size	106745
Compressed Size	17402
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	775	forall	76	exists	3
Int	105	div	1	+	25	-	39
*	4	<	16	<=	59	>	3
>=	49

Query 100

Status	unknown
Inferred Status	None
Size	106756
Compressed Size	17397
Max. Term Depth	34
Asserts	13
Declared Functions	164
Declared Constants	1121
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	58
Declared Datatypes	0

Symbols

true	6	Bool	58	not	84	and	83
=>	101	=	774	forall	76	exists	3
Int	105	div	1	+	25	-	40
*	4	<	16	<=	60	>	3
>=	49