Details of instance cnt15y.aag
Name: |
cnt15y.aag |
md5: |
ed57022a268a14cb1133c7f110d35472 |
FractionOfBinaryClauses |
None |
FractionOfNegativeLiteralsPerClauseEntropy |
None |
FractionOfNegativeLiteralsPerClauseMax |
None |
FractionOfNegativeLiteralsPerClauseMean |
None |
FractionOfNegativeLiteralsPerClauseMin |
None |
FractionOfNegativeLiteralsPerClauseVariationCoefficient |
None |
FractionOfNegativeVariablesEntropy |
None |
FractionOfNegativeVariablesMax |
None |
FractionOfNegativeVariablesMean |
None |
FractionOfNegativeVariablesMin |
None |
FractionOfNegativeVariablesVariationCoefficient |
None |
FractionOfPositiveLiteralsPerClauseEntropy |
None |
FractionOfPositiveLiteralsPerClauseMax |
None |
FractionOfPositiveLiteralsPerClauseMean |
None |
FractionOfPositiveLiteralsPerClauseMin |
None |
FractionOfPositiveLiteralsPerClauseVariationCoefficient |
None |
FractionOfPositiveVariablesEntropy |
None |
FractionOfPositiveVariablesMax |
None |
FractionOfPositiveVariablesMean |
None |
FractionOfPositiveVariablesMin |
None |
FractionOfPositiveVariablesVariationCoefficient |
None |
FractionOfTernaryClauses |
None |
FractionOfUnaryClauses |
None |
ClausesToVariablesRatio |
None |
ClausesToVariablesRatioCubic |
None |
ClausesToVariablesRatioQuadratic |
None |
LinearizedClausesToVariablesRatio |
None |
LinearizedClausesToVariablesRatioQuadratic |
None |
LinearizedClaustesToVariablesRatioCubic |
None |
NumberOfClauses |
None |
NumberOfVariables |
None |
VariablesToClausesRatio |
None |
VariablesToClausesRatioCubic |
None |
VariablesToClausesRatioQuadratic |
None |
ClauseNodeDegreesEntropy |
None |
ClauseNodeDegreesMax |
None |
ClauseNodeDegreesMean |
None |
ClauseNodeDegreesMin |
None |
ClauseNodeDegreesVariationCoefficient |
None |
VariableNodeDegreesEntropy |
None |
VariableNodeDegreesMax |
None |
VariableNodeDegreesMean |
None |
VariableNodeDegreesMin |
None |
VariableNodeDegreesVariationCoefficient |
None |
DegreeEntropy |
None |
DegreeMax |
None |
DegreeMean |
None |
DegreeMin |
None |
DegreeVariationCoefficient |
None |
Download instance (2.9 kB)
aag 107 2 16 1 89
2
4
6 1
8 101
10 109
12 117
14 125
16 133
18 141
20 149
22 157
24 165
26 173
28 181
30 189
32 197
34 205
36 214
94
38 36 6
40 34 6
42 32 6
44 30 6
46 28 6
48 26 6
50 24 6
52 22 6
54 20 6
56 18 6
58 16 6
60 14 6
62 12 6
64 8 6
66 10 6
68 66 64
70 68 62
72 70 60
74 72 58
76 74 56
78 76 54
80 78 52
82 80 50
84 82 48
86 84 46
88 86 44
90 88 42
92 90 40
94 92 38
96 64 2
98 65 3
100 99 97
102 64 3
104 103 66
106 102 67
108 107 105
110 68 3
112 111 62
114 110 63
116 115 113
118 70 3
120 119 60
12
... [truncated 1.9 kB]
5-RealPar], 7/7 [SYNTCOMP2016-SyntSeq], 4/4 [SYNTCOMP2016-SyntPar], 11/11 [SYNTCOMP2016-RealSeq], 6/6 [SYNTCOMP2016-RealPar], 10/10 [SYNTCOMP2017-RealSeq], 6/6 [SYNTCOMP2017-RealPar], 6/6 [SYNTCOMP2017-SyntSeq], 4/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 0.196011 [SYNTCOMP2014-RealSeq], 0.176038 [SYNTCOMP2015-RealSeq], 0.072197 [SYNTCOMP2015-RealPar], 0.092 [SYNTCOMP2016-RealSeq], 0.039604 [SYNTCOMP2016-RealPar], 0.092 [SYNTCOMP2017-RealSeq], 0.039533 [SYNTCOMP2017-RealPar]
REF_SIZE : 90
STATUS : realizable
#.