Details of instance factory_assembly_7x3_1_0errors.aag
Name: |
factory_assembly_7x3_1_0errors.aag |
md5: |
76949159a32137e4318c7b5a0bc382ec |
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 (5.3 kB)
aag 355 31 33 1 291
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 1
66 2
68 4
70 6
72 8
74 10
76 12
78 14
80 16
82 18
84 20
86 22
88 24
90 26
92 28
94 30
96 32
98 34
100 36
102 38
104 40
106 42
108 44
110 46
112 48
114 50
116 52
118 54
120 56
122 58
124 60
126 62
128 521
710
130 4 2
132 130 6
134 132 8
136 134 10
138 136 12
140 138 14
142 140 16
144 142 18
146 144 20
148 146 22
150 148 24
152 150 26
154 152 28
156 154 30
158 156 32
160 158 34
162 160 36
164 162
... [truncated 4.3 kB]
TCOMP2015-RealPar], 6/7 [SYNTCOMP2016-SyntSeq], 3/4 [SYNTCOMP2016-SyntPar], 9/11 [SYNTCOMP2016-RealSeq], 5/6 [SYNTCOMP2016-RealPar], 8/10 [SYNTCOMP2017-RealSeq], 5/6 [SYNTCOMP2017-RealPar], 5/6 [SYNTCOMP2017-SyntSeq], 3/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 1.05606 [SYNTCOMP2014-RealSeq], 1.95131 [SYNTCOMP2015-RealSeq], 0.33948 [SYNTCOMP2015-RealPar], 1.92 [SYNTCOMP2016-RealSeq], 2.67973 [SYNTCOMP2016-RealPar], 1.9 [SYNTCOMP2017-RealSeq], 2.23309 [SYNTCOMP2017-RealPar]
REF_SIZE : 1881
STATUS : realizable
#.