Details of instance amba6match5.aag
| Name: |
amba6match5.aag |
| md5: |
990ea6d80642bff894893ade6dd6588d |
| 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 (1.3 MB)
aag 77504 36 187 1 77281
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 1
76 6
78 494
80 26
82 10257
84 18
86 10306
88 22
90 15176
92 18504
94 21067
96 2
98 8
100 23854
102 23871
104 38824
106 12
108 38850
110 53784
112 54117
114 28
116 16
118 4
120 54141
122 57764
124 57808
126 57812
128 58458
130 24
132 58496
134 20
136 63717
138 65526
140 68110
142 69833
144 70847
146 10
148 71271
150 30
152 14
154 71293
156 73740
158 75900
160 1
162 36
164 7594
... [truncated 1.3 MB]
15-RealPar], 3/7 [SYNTCOMP2016-SyntSeq], 2/4 [SYNTCOMP2016-SyntPar], 8/11 [SYNTCOMP2016-RealSeq], 4/6 [SYNTCOMP2016-RealPar], 6/10 [SYNTCOMP2017-RealSeq], 4/6 [SYNTCOMP2017-RealPar], 1/6 [SYNTCOMP2017-SyntSeq], 2/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 1785.66 [2015-pre-classification], 471.576 [SYNTCOMP2015-RealSeq], 1.82141 [SYNTCOMP2015-RealPar], 34.388 [SYNTCOMP2016-RealSeq], 1.77058 [SYNTCOMP2016-RealPar], 41.372 [SYNTCOMP2017-RealSeq], 1.77722 [SYNTCOMP2017-RealPar]
STATUS : unrealizable
REF_SIZE : 0
#.