Details of instance factory_assembly_5x3_1_0errors.aag
Name: |
factory_assembly_5x3_1_0errors.aag |
md5: |
43bdcabac0068f0ec860c868308fb3e4 |
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 (4.5 kB)
aag 287 25 27 1 235
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 1
54 2
56 4
58 6
60 8
62 10
64 12
66 14
68 16
70 18
72 20
74 22
76 24
78 26
80 28
82 30
84 32
86 34
88 36
90 38
92 40
94 42
96 44
98 46
100 48
102 50
104 381
574
106 4 2
108 106 6
110 108 8
112 110 10
114 112 12
116 114 14
118 116 16
120 118 18
122 120 20
124 122 22
126 124 24
128 126 26
130 128 28
132 130 30
134 133 53
136 5 3
138 136 7
140 99 97
142 87 84
144 142 89
146 144 140
148 103 101
150 93 90
152 150 95
15
... [truncated 3.5 kB]
5-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.564034 [SYNTCOMP2014-RealSeq], 0.444231 [SYNTCOMP2015-RealSeq], 0.217739 [SYNTCOMP2015-RealPar], 0.308 [SYNTCOMP2016-RealSeq], 0.504723 [SYNTCOMP2016-RealPar], 0.308 [SYNTCOMP2017-RealSeq], 0.497185 [SYNTCOMP2017-RealPar]
REF_SIZE : 300
STATUS : realizable
#.