Details of instance factory_assembly_4x3_1_1errors.aag
Name: |
factory_assembly_4x3_1_1errors.aag |
md5: |
102d6e80f96eadcb9e1cb60929e35bb3 |
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 (3.3 kB)
aag 188 21 23 1 144
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44 1
46 2
48 4
50 6
52 8
54 10
56 12
58 14
60 16
62 18
64 20
66 22
68 24
70 26
72 28
74 30
76 32
78 34
80 36
82 38
84 40
86 42
88 299
376
90 4 2
92 90 6
94 92 8
96 94 10
98 96 12
100 98 14
102 100 16
104 102 18
106 104 20
108 106 22
110 108 24
112 111 45
114 83 81
116 75 72
118 116 114
120 87 85
122 79 76
124 122 120
126 125 119
128 126 47
130 128 9
132 129 8
134 133 131
136 71 26
138 5 3
140 138 7
142 70 27
144 143 141
146 145 1
... [truncated 2.3 kB]
015-RealPar], 7/7 [SYNTCOMP2016-SyntSeq], 4/4 [SYNTCOMP2016-SyntPar], 10/11 [SYNTCOMP2016-RealSeq], 6/6 [SYNTCOMP2016-RealPar], 9/10 [SYNTCOMP2017-RealSeq], 6/6 [SYNTCOMP2017-RealPar], 6/6 [SYNTCOMP2017-SyntSeq], 4/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 0.288018 [SYNTCOMP2014-RealSeq], 0.116951 [SYNTCOMP2015-RealSeq], 0.078177 [SYNTCOMP2015-RealPar], 0.104 [SYNTCOMP2016-RealSeq], 0.12665 [SYNTCOMP2016-RealPar], 0.104 [SYNTCOMP2017-RealSeq], 0.12557 [SYNTCOMP2017-RealPar]
REF_SIZE : 180
STATUS : realizable
#.