Details of instance factory_assembly_5x5_2_10errors.aag
Name: |
factory_assembly_5x5_2_10errors.aag |
md5: |
0e1c4af08e530bab2af9545479fe0260 |
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 (8.0 kB)
aag 558 42 44 1 472
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74
76
78
80
82
84
86 1
88 2
90 4
92 6
94 8
96 10
98 12
100 14
102 16
104 18
106 20
108 22
110 24
112 26
114 28
116 30
118 32
120 34
122 36
124 38
126 40
128 42
130 44
132 46
134 48
136 50
138 52
140 54
142 56
144 58
146 60
148 62
150 64
152 66
154 68
156 70
158 72
160 74
162 76
164 78
166 80
168 82
170 84
172 913
1116
174 56 54
176 175 59
178 177 60
180 4 3
182 180 6
184 182 8
186 184
... [truncated 7.0 kB]
P2015-RealPar], 0/7 [SYNTCOMP2016-SyntSeq], 0/4 [SYNTCOMP2016-SyntPar], 2/11 [SYNTCOMP2016-RealSeq], 2/6 [SYNTCOMP2016-RealPar], 2/10 [SYNTCOMP2017-RealSeq], 2/6 [SYNTCOMP2017-RealPar], 0/6 [SYNTCOMP2017-SyntSeq], 0/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 82.2531 [SYNTCOMP2014-RealSeq], 241.031 [SYNTCOMP2015-RealSeq], 95.5838 [SYNTCOMP2015-RealPar], 283.996 [SYNTCOMP2016-RealSeq], 473.904 [SYNTCOMP2016-RealPar], 325.284 [SYNTCOMP2017-RealSeq], 542.441 [SYNTCOMP2017-RealPar]
STATUS : realizable
REF_SIZE : 0
#.