Benchmark

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

Benchmark without description.

Benchmark
Size	127500
Compressed Size	18130
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	124

Query 1

Status	unknown
Inferred Status	None
Size	95720
Compressed Size	15455
Max. Term Depth	34
Asserts	9
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 2

Status	unknown
Inferred Status	None
Size	95771
Compressed Size	15467
Max. Term Depth	34
Asserts	9
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 3

Status	unknown
Inferred Status	None
Size	95800
Compressed Size	15480
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 4

Status	unknown
Inferred Status	None
Size	95824
Compressed Size	15483
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 5

Status	unknown
Inferred Status	None
Size	95873
Compressed Size	15491
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	85	and	76
=>	96	=	741	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	5	<=	51	>	2
>=	38

Query 6

Status	unknown
Inferred Status	None
Size	95875
Compressed Size	15480
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	85	and	76
=>	96	=	740	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 7

Status	unknown
Inferred Status	None
Size	95870
Compressed Size	15486
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	85	and	76
=>	96	=	740	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	52	>	2
>=	39

Query 8

Status	unknown
Inferred Status	None
Size	96825
Compressed Size	15696
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
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	80
=>	98	=	747	forall	76	exists	2
Int	104	div	1	+	14	-	27
*	4	<	5	<=	55	>	2
>=	42

Query 9

Status	unknown
Inferred Status	None
Size	96491
Compressed Size	15609
Max. Term Depth	34
Asserts	21
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	10
Declared Datatypes	0

Symbols

true	6	Bool	10	not	85	and	79
=>	97	=	745	forall	76	exists	2
Int	104	div	1	+	14	-	27
*	4	<	4	<=	54	>	2
>=	42

Query 10

Status	unknown
Inferred Status	None
Size	96111
Compressed Size	15545
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 11

Status	unknown
Inferred Status	None
Size	96154
Compressed Size	15564
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 12

Status	unknown
Inferred Status	None
Size	95944
Compressed Size	15510
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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	77
=>	97	=	740	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	39

Query 13

Status	unknown
Inferred Status	None
Size	95988
Compressed Size	15521
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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	77
=>	97	=	740	forall	75	exists	1
Int	102	div	1	+	13	-	24
*	4	<	4	<=	51	>	2
>=	39

Query 14

Status	unknown
Inferred Status	None
Size	96081
Compressed Size	15527
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 15

Status	unknown
Inferred Status	None
Size	96125
Compressed Size	15542
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 16

Status	unknown
Inferred Status	None
Size	96141
Compressed Size	15543
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 17

Status	unknown
Inferred Status	None
Size	96159
Compressed Size	15545
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 18

Status	unknown
Inferred Status	None
Size	96203
Compressed Size	15555
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 19

Status	unknown
Inferred Status	None
Size	96222
Compressed Size	15564
Max. Term Depth	34
Asserts	15
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	12
Declared Datatypes	0

Symbols

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

Query 20

Status	unknown
Inferred Status	None
Size	96711
Compressed Size	15659
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	86	and	79
=>	98	=	744	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 21

Status	unknown
Inferred Status	None
Size	96743
Compressed Size	15668
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 22

Status	unknown
Inferred Status	None
Size	96761
Compressed Size	15673
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 23

Status	unknown
Inferred Status	None
Size	96805
Compressed Size	15679
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 24

Status	unknown
Inferred Status	None
Size	96800
Compressed Size	15678
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 25

Status	unknown
Inferred Status	None
Size	96853
Compressed Size	15696
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 26

Status	unknown
Inferred Status	None
Size	96872
Compressed Size	15693
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 27

Status	unknown
Inferred Status	None
Size	96876
Compressed Size	15688
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 28

Status	unknown
Inferred Status	None
Size	96896
Compressed Size	15698
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 29

Status	unknown
Inferred Status	None
Size	96921
Compressed Size	15705
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 30

Status	unknown
Inferred Status	None
Size	96941
Compressed Size	15706
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 31

Status	unknown
Inferred Status	None
Size	96986
Compressed Size	15721
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 32

Status	unknown
Inferred Status	None
Size	96969
Compressed Size	15713
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 33

Status	unknown
Inferred Status	None
Size	97007
Compressed Size	15715
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	15	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 34

Status	unknown
Inferred Status	None
Size	97052
Compressed Size	15733
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 35

Status	unknown
Inferred Status	None
Size	97072
Compressed Size	15731
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 36

Status	unknown
Inferred Status	None
Size	97086
Compressed Size	15733
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	79
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	26
*	4	<	5	<=	54	>	2
>=	40

Query 37

Status	unknown
Inferred Status	None
Size	97337
Compressed Size	15797
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 38

Status	unknown
Inferred Status	None
Size	97362
Compressed Size	15802
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 39

Status	unknown
Inferred Status	None
Size	97382
Compressed Size	15806
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 40

Status	unknown
Inferred Status	None
Size	97421
Compressed Size	15817
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 41

Status	unknown
Inferred Status	None
Size	97421
Compressed Size	15807
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 42

Status	unknown
Inferred Status	None
Size	97441
Compressed Size	15811
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 43

Status	unknown
Inferred Status	None
Size	97486
Compressed Size	15821
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 44

Status	unknown
Inferred Status	None
Size	97506
Compressed Size	15823
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 45

Status	unknown
Inferred Status	None
Size	97494
Compressed Size	15824
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 46

Status	unknown
Inferred Status	None
Size	97516
Compressed Size	15830
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 47

Status	unknown
Inferred Status	None
Size	97553
Compressed Size	15831
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 48

Status	unknown
Inferred Status	None
Size	97574
Compressed Size	15833
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 49

Status	unknown
Inferred Status	None
Size	97596
Compressed Size	15837
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 50

Status	unknown
Inferred Status	None
Size	97641
Compressed Size	15847
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 51

Status	unknown
Inferred Status	None
Size	97663
Compressed Size	15851
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 52

Status	unknown
Inferred Status	None
Size	97683
Compressed Size	15854
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 53

Status	unknown
Inferred Status	None
Size	97704
Compressed Size	15856
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 54

Status	unknown
Inferred Status	None
Size	97726
Compressed Size	15862
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 55

Status	unknown
Inferred Status	None
Size	97748
Compressed Size	15867
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 56

Status	unknown
Inferred Status	None
Size	97747
Compressed Size	15860
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 57

Status	unknown
Inferred Status	None
Size	97751
Compressed Size	15863
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 58

Status	unknown
Inferred Status	None
Size	97774
Compressed Size	15866
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 59

Status	unknown
Inferred Status	None
Size	97824
Compressed Size	15865
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 60

Status	unknown
Inferred Status	None
Size	97846
Compressed Size	15869
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 61

Status	unknown
Inferred Status	None
Size	97852
Compressed Size	15870
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 62

Status	unknown
Inferred Status	None
Size	97873
Compressed Size	15871
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 63

Status	unknown
Inferred Status	None
Size	97896
Compressed Size	15875
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 64

Status	unknown
Inferred Status	None
Size	97940
Compressed Size	15884
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 65

Status	unknown
Inferred Status	None
Size	97963
Compressed Size	15887
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 66

Status	unknown
Inferred Status	None
Size	97982
Compressed Size	15887
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 67

Status	unknown
Inferred Status	None
Size	98003
Compressed Size	15889
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 68

Status	unknown
Inferred Status	None
Size	98026
Compressed Size	15893
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 69

Status	unknown
Inferred Status	None
Size	98011
Compressed Size	15888
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 70

Status	unknown
Inferred Status	None
Size	98060
Compressed Size	15890
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 71

Status	unknown
Inferred Status	None
Size	98083
Compressed Size	15892
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 72

Status	unknown
Inferred Status	None
Size	98091
Compressed Size	15893
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 73

Status	unknown
Inferred Status	None
Size	98137
Compressed Size	15900
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 74

Status	unknown
Inferred Status	None
Size	98158
Compressed Size	15903
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 75

Status	unknown
Inferred Status	None
Size	98173
Compressed Size	15900
Max. Term Depth	34
Asserts	24
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	22
Declared Datatypes	0

Symbols

true	6	Bool	22	not	85	and	80
=>	98	=	748	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	6	<=	55	>	3
>=	43

Query 76

Status	unknown
Inferred Status	None
Size	96904
Compressed Size	15715
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	24
Declared Datatypes	0

Symbols

true	6	Bool	24	not	86	and	81
=>	98	=	744	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 77

Status	unknown
Inferred Status	None
Size	96937
Compressed Size	15724
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 78

Status	unknown
Inferred Status	None
Size	96962
Compressed Size	15731
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 79

Status	unknown
Inferred Status	None
Size	96981
Compressed Size	15728
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 80

Status	unknown
Inferred Status	None
Size	97026
Compressed Size	15743
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 81

Status	unknown
Inferred Status	None
Size	97009
Compressed Size	15736
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 82

Status	unknown
Inferred Status	None
Size	97047
Compressed Size	15738
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	15	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 83

Status	unknown
Inferred Status	None
Size	97072
Compressed Size	15746
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 84

Status	unknown
Inferred Status	None
Size	97111
Compressed Size	15753
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 85

Status	unknown
Inferred Status	None
Size	97132
Compressed Size	15751
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 86

Status	unknown
Inferred Status	None
Size	97147
Compressed Size	15752
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 87

Status	unknown
Inferred Status	None
Size	97155
Compressed Size	15753
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 88

Status	unknown
Inferred Status	None
Size	97201
Compressed Size	15768
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 89

Status	unknown
Inferred Status	None
Size	97191
Compressed Size	15766
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 90

Status	unknown
Inferred Status	None
Size	97255
Compressed Size	15778
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 91

Status	unknown
Inferred Status	None
Size	97276
Compressed Size	15778
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 92

Status	unknown
Inferred Status	None
Size	97297
Compressed Size	15782
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 93

Status	unknown
Inferred Status	None
Size	97294
Compressed Size	15780
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 94

Status	unknown
Inferred Status	None
Size	97302
Compressed Size	15782
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 95

Status	unknown
Inferred Status	None
Size	97354
Compressed Size	15785
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 96

Status	unknown
Inferred Status	None
Size	97387
Compressed Size	15797
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 97

Status	unknown
Inferred Status	None
Size	97408
Compressed Size	15794
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 98

Status	unknown
Inferred Status	None
Size	97392
Compressed Size	15793
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 99

Status	unknown
Inferred Status	None
Size	97444
Compressed Size	15794
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44

Query 100

Status	unknown
Inferred Status	None
Size	97477
Compressed Size	15807
Max. Term Depth	34
Asserts	11
Declared Functions	131
Declared Constants	1015
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
=>	98	=	743	forall	76	exists	1
Int	103	div	1	+	14	-	28
*	4	<	4	<=	55	>	2
>=	44