Details of instance bs2048y.aag
Name: |
bs2048y.aag |
md5: |
c81ad517814effef69ae85f176bcd7c4 |
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 77837 12 2049 1 75776
2
4
6
8
10
12
14
16
18
20
22
24
26 1
28 20507
30 32795
32 38939
34 45083
36 48155
38 51227
40 54299
42 57371
44 58907
46 60443
48 61979
50 63515
52 65051
54 66587
56 68123
58 69659
60 70427
62 71195
64 71963
66 72731
68 73499
70 74267
72 75035
74 75803
76 76571
78 77339
80 78107
82 78875
84 79643
86 80411
88 81179
90 81947
92 82331
94 82715
96 83099
98 83483
100 83867
102 84251
104 84635
106 85019
108 85403
110 85787
112 86171
114 86555
116 86939
118 87323
120 87707
122 88091
124 8
... [truncated 1.3 MB]
5-RealPar], 7/7 [SYNTCOMP2016-SyntSeq], 4/4 [SYNTCOMP2016-SyntPar], 11/11 [SYNTCOMP2016-RealSeq], 6/6 [SYNTCOMP2016-RealPar], 10/10 [SYNTCOMP2017-RealSeq], 6/6 [SYNTCOMP2017-RealPar], 6/6 [SYNTCOMP2017-SyntSeq], 4/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 11.188 [2015-pre-classification], 2.76504 [SYNTCOMP2015-RealSeq], 3.82655 [SYNTCOMP2015-RealPar], 2.772 [SYNTCOMP2016-RealSeq], 4.00798 [SYNTCOMP2016-RealPar], 2.788 [SYNTCOMP2017-RealSeq], 4.09466 [SYNTCOMP2017-RealPar]
REF_SIZE : 75777
STATUS : realizable
#.