Benchmark

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

Benchmark without description.

Benchmark
Size	142730
Compressed Size	19166
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	103

Query 1

Status	unknown
Inferred Status	None
Size	100681
Compressed Size	16499
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	83	and	78
=>	99	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 2

Status	unknown
Inferred Status	None
Size	100724
Compressed Size	16508
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	83	and	78
=>	99	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 3

Status	unknown
Inferred Status	None
Size	100773
Compressed Size	16524
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	83	and	78
=>	99	=	757	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	44

Query 4

Status	unknown
Inferred Status	None
Size	100770
Compressed Size	16517
Max. Term Depth	34
Asserts	10
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	83	and	78
=>	99	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	56	>	3
>=	44

Query 5

Status	unknown
Inferred Status	None
Size	101251
Compressed Size	16624
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 6

Status	unknown
Inferred Status	None
Size	101270
Compressed Size	16629
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 7

Status	unknown
Inferred Status	None
Size	101380
Compressed Size	16645
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	4
>=	44

Query 8

Status	unknown
Inferred Status	None
Size	101382
Compressed Size	16642
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	44

Query 9

Status	unknown
Inferred Status	None
Size	101347
Compressed Size	16636
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	56	>	3
>=	44

Query 10

Status	unknown
Inferred Status	None
Size	101393
Compressed Size	16648
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	44

Query 11

Status	unknown
Inferred Status	None
Size	101390
Compressed Size	16639
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	56	>	3
>=	44

Query 12

Status	unknown
Inferred Status	None
Size	101266
Compressed Size	16627
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 13

Status	unknown
Inferred Status	None
Size	101285
Compressed Size	16630
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 14

Status	unknown
Inferred Status	None
Size	101395
Compressed Size	16648
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	4
>=	44

Query 15

Status	unknown
Inferred Status	None
Size	101397
Compressed Size	16643
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	44

Query 16

Status	unknown
Inferred Status	None
Size	101362
Compressed Size	16637
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	56	>	3
>=	44

Query 17

Status	unknown
Inferred Status	None
Size	101408
Compressed Size	16651
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	44

Query 18

Status	unknown
Inferred Status	None
Size	101405
Compressed Size	16641
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	19
Declared Datatypes	0

Symbols

true	6	Bool	19	not	84	and	79
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	56	>	3
>=	44

Query 19

Status	unknown
Inferred Status	None
Size	101386
Compressed Size	16639
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	87	and	80
=>	99	=	762	forall	75	exists	3
Int	104	div	1	+	14	-	32
*	4	<	8	<=	56	>	3
>=	45

Query 20

Status	unknown
Inferred Status	None
Size	101467
Compressed Size	16657
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	81
=>	99	=	761	forall	75	exists	3
Int	104	div	1	+	14	-	32
*	4	<	8	<=	57	>	3
>=	46

Query 21

Status	unknown
Inferred Status	None
Size	101405
Compressed Size	16658
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	761	forall	75	exists	3
Int	104	div	1	+	14	-	31
*	4	<	8	<=	56	>	3
>=	45

Query 22

Status	unknown
Inferred Status	None
Size	101421
Compressed Size	16662
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	761	forall	75	exists	3
Int	104	div	1	+	15	-	31
*	4	<	8	<=	56	>	3
>=	45

Query 23

Status	unknown
Inferred Status	None
Size	101447
Compressed Size	16666
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	761	forall	75	exists	3
Int	104	div	1	+	15	-	31
*	4	<	8	<=	56	>	3
>=	45

Query 24

Status	unknown
Inferred Status	None
Size	101547
Compressed Size	16677
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	87	and	80
=>	99	=	763	forall	75	exists	3
Int	104	div	1	+	15	-	31
*	4	<	8	<=	56	>	4
>=	45

Query 25

Status	unknown
Inferred Status	None
Size	101549
Compressed Size	16681
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	762	forall	75	exists	3
Int	104	div	1	+	15	-	32
*	4	<	8	<=	56	>	3
>=	45

Query 26

Status	unknown
Inferred Status	None
Size	101507
Compressed Size	16671
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	761	forall	75	exists	3
Int	104	div	1	+	15	-	31
*	4	<	8	<=	57	>	3
>=	45

Query 27

Status	unknown
Inferred Status	None
Size	101543
Compressed Size	16673
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	762	forall	75	exists	3
Int	104	div	1	+	14	-	31
*	4	<	8	<=	56	>	3
>=	45

Query 28

Status	unknown
Inferred Status	None
Size	101635
Compressed Size	16694
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	762	forall	75	exists	3
Int	104	div	1	+	15	-	32
*	4	<	8	<=	56	>	3
>=	45

Query 29

Status	unknown
Inferred Status	None
Size	101590
Compressed Size	16680
Max. Term Depth	34
Asserts	15
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	18
Declared Datatypes	0

Symbols

true	6	Bool	18	not	86	and	80
=>	99	=	761	forall	75	exists	3
Int	104	div	1	+	15	-	31
*	4	<	8	<=	57	>	3
>=	45

Query 30

Status	unknown
Inferred Status	None
Size	101933
Compressed Size	16740
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	46

Query 31

Status	unknown
Inferred Status	None
Size	102006
Compressed Size	16770
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	46

Query 32

Status	unknown
Inferred Status	None
Size	101948
Compressed Size	16741
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	46

Query 33

Status	unknown
Inferred Status	None
Size	102021
Compressed Size	16772
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	27
Declared Datatypes	0

Symbols

true	6	Bool	27	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	46

Query 34

Status	unknown
Inferred Status	None
Size	101013
Compressed Size	16573
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	83	and	79
=>	99	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 35

Status	unknown
Inferred Status	None
Size	101028
Compressed Size	16576
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	15
Declared Datatypes	0

Symbols

true	6	Bool	15	not	83	and	79
=>	99	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 36

Status	unknown
Inferred Status	None
Size	101843
Compressed Size	16729
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	45

Query 37

Status	unknown
Inferred Status	None
Size	101916
Compressed Size	16763
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	45

Query 38

Status	unknown
Inferred Status	None
Size	101858
Compressed Size	16731
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	45

Query 39

Status	unknown
Inferred Status	None
Size	101931
Compressed Size	16766
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	25
Declared Datatypes	0

Symbols

true	6	Bool	25	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	45

Query 40

Status	unknown
Inferred Status	None
Size	101913
Compressed Size	16752
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	31
*	4	<	8	<=	55	>	3
>=	45

Query 41

Status	unknown
Inferred Status	None
Size	101979
Compressed Size	16756
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	45

Query 42

Status	unknown
Inferred Status	None
Size	102053
Compressed Size	16783
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	45

Query 43

Status	unknown
Inferred Status	None
Size	101929
Compressed Size	16754
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	31
*	4	<	8	<=	55	>	3
>=	45

Query 44

Status	unknown
Inferred Status	None
Size	101995
Compressed Size	16758
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	45

Query 45

Status	unknown
Inferred Status	None
Size	102069
Compressed Size	16786
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	26
Declared Datatypes	0

Symbols

true	6	Bool	26	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	45

Query 46

Status	unknown
Inferred Status	None
Size	101758
Compressed Size	16708
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 47

Status	unknown
Inferred Status	None
Size	101831
Compressed Size	16740
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 48

Status	unknown
Inferred Status	None
Size	101774
Compressed Size	16711
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	85	and	79
=>	99	=	759	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 49

Status	unknown
Inferred Status	None
Size	101847
Compressed Size	16743
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	85	and	79
=>	99	=	760	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 50

Status	unknown
Inferred Status	None
Size	101920
Compressed Size	16759
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	16	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 51

Status	unknown
Inferred Status	None
Size	101977
Compressed Size	16773
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 52

Status	unknown
Inferred Status	None
Size	101997
Compressed Size	16776
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 53

Status	unknown
Inferred Status	None
Size	102030
Compressed Size	16779
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 54

Status	unknown
Inferred Status	None
Size	102046
Compressed Size	16803
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	9	<=	57	>	4
>=	45

Query 55

Status	unknown
Inferred Status	None
Size	102063
Compressed Size	16778
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 56

Status	unknown
Inferred Status	None
Size	102060
Compressed Size	16790
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	16	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 57

Status	unknown
Inferred Status	None
Size	102137
Compressed Size	16787
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 58

Status	unknown
Inferred Status	None
Size	102110
Compressed Size	16793
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	9	<=	57	>	4
>=	45

Query 59

Status	unknown
Inferred Status	None
Size	102137
Compressed Size	16807
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	84	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	9	<=	57	>	4
>=	45

Query 60

Status	unknown
Inferred Status	None
Size	101936
Compressed Size	16763
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	16	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 61

Status	unknown
Inferred Status	None
Size	101993
Compressed Size	16776
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 62

Status	unknown
Inferred Status	None
Size	102013
Compressed Size	16780
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 63

Status	unknown
Inferred Status	None
Size	102046
Compressed Size	16782
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 64

Status	unknown
Inferred Status	None
Size	102062
Compressed Size	16803
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	9	<=	57	>	4
>=	45

Query 65

Status	unknown
Inferred Status	None
Size	102079
Compressed Size	16782
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 66

Status	unknown
Inferred Status	None
Size	102076
Compressed Size	16793
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	16	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 67

Status	unknown
Inferred Status	None
Size	102153
Compressed Size	16791
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	30
*	4	<	8	<=	57	>	4
>=	45

Query 68

Status	unknown
Inferred Status	None
Size	102126
Compressed Size	16796
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	83	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	9	<=	57	>	4
>=	45

Query 69

Status	unknown
Inferred Status	None
Size	102153
Compressed Size	16811
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	23
Declared Datatypes	0

Symbols

true	6	Bool	23	not	84	and	80
=>	100	=	759	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	9	<=	57	>	4
>=	45

Query 70

Status	unknown
Inferred Status	None
Size	102036
Compressed Size	16787
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 71

Status	unknown
Inferred Status	None
Size	102093
Compressed Size	16795
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 72

Status	unknown
Inferred Status	None
Size	102130
Compressed Size	16804
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	18	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 73

Status	unknown
Inferred Status	None
Size	102146
Compressed Size	16800
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 74

Status	unknown
Inferred Status	None
Size	102179
Compressed Size	16819
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	32
*	4	<	9	<=	57	>	4
>=	46

Query 75

Status	unknown
Inferred Status	None
Size	102179
Compressed Size	16801
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 76

Status	unknown
Inferred Status	None
Size	102199
Compressed Size	16803
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 77

Status	unknown
Inferred Status	None
Size	102213
Compressed Size	16816
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 78

Status	unknown
Inferred Status	None
Size	102243
Compressed Size	16825
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	32
*	4	<	9	<=	57	>	4
>=	46

Query 79

Status	unknown
Inferred Status	None
Size	102270
Compressed Size	16832
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	85	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	32
*	4	<	9	<=	57	>	4
>=	46

Query 80

Status	unknown
Inferred Status	None
Size	102052
Compressed Size	16790
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	16	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 81

Status	unknown
Inferred Status	None
Size	102109
Compressed Size	16795
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 82

Status	unknown
Inferred Status	None
Size	102146
Compressed Size	16804
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	18	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 83

Status	unknown
Inferred Status	None
Size	102162
Compressed Size	16797
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 84

Status	unknown
Inferred Status	None
Size	102195
Compressed Size	16822
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	32
*	4	<	9	<=	57	>	4
>=	46

Query 85

Status	unknown
Inferred Status	None
Size	102195
Compressed Size	16801
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 86

Status	unknown
Inferred Status	None
Size	102215
Compressed Size	16803
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 87

Status	unknown
Inferred Status	None
Size	102229
Compressed Size	16817
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	761	forall	76	exists	3
Int	105	div	1	+	17	-	31
*	4	<	8	<=	57	>	4
>=	46

Query 88

Status	unknown
Inferred Status	None
Size	102259
Compressed Size	16822
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	84	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	32
*	4	<	9	<=	57	>	4
>=	46

Query 89

Status	unknown
Inferred Status	None
Size	102286
Compressed Size	16833
Max. Term Depth	34
Asserts	14
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	85	and	81
=>	100	=	760	forall	76	exists	3
Int	105	div	1	+	17	-	32
*	4	<	9	<=	57	>	4
>=	46

Query 90

Status	unknown
Inferred Status	None
Size	100983
Compressed Size	16548
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	83	and	78
=>	98	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 91

Status	unknown
Inferred Status	None
Size	101000
Compressed Size	16546
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	83	and	78
=>	98	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	55	>	3
>=	44

Query 92

Status	unknown
Inferred Status	None
Size	101050
Compressed Size	16559
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	83	and	78
=>	98	=	757	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	44

Query 93

Status	unknown
Inferred Status	None
Size	101048
Compressed Size	16559
Max. Term Depth	34
Asserts	13
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

true	6	Bool	12	not	83	and	78
=>	98	=	756	forall	75	exists	3
Int	104	div	1	+	14	-	29
*	4	<	8	<=	56	>	3
>=	44

Query 94

Status	unknown
Inferred Status	None
Size	102224
Compressed Size	16766
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	84	and	79
=>	99	=	764	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	57	>	3
>=	44

Query 95

Status	unknown
Inferred Status	None
Size	102223
Compressed Size	16769
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	84	and	79
=>	99	=	764	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	57	>	3
>=	44

Query 96

Status	unknown
Inferred Status	None
Size	102270
Compressed Size	16774
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	84	and	79
=>	99	=	764	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	57	>	3
>=	44

Query 97

Status	unknown
Inferred Status	None
Size	102269
Compressed Size	16776
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	84	and	79
=>	99	=	764	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	57	>	3
>=	44

Query 98

Status	unknown
Inferred Status	None
Size	102316
Compressed Size	16781
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	84	and	79
=>	99	=	764	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	57	>	3
>=	44

Query 99

Status	unknown
Inferred Status	None
Size	102315
Compressed Size	16781
Max. Term Depth	34
Asserts	11
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	30
Declared Datatypes	0

Symbols

true	6	Bool	30	not	84	and	79
=>	99	=	764	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	57	>	3
>=	44

Query 100

Status	unknown
Inferred Status	None
Size	101267
Compressed Size	16607
Max. Term Depth	34
Asserts	16
Declared Functions	122
Declared Constants	1084
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	13
Declared Datatypes	0

Symbols

true	6	Bool	13	not	85	and	78
=>	99	=	758	forall	75	exists	3
Int	104	div	1	+	14	-	30
*	4	<	8	<=	55	>	3
>=	44