Details of instance load_full_3_comp3_REAL.aag
| Name: |
load_full_3_comp3_REAL.aag |
| md5: |
4b0a765d116df96e1637fe59a92c16e9 |
| 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 (100.0 kB)
aag 6383 7 670 1 5706
2
4
6
8
10
12
14
16 5507
18 5509
20 5511
22 5513
24 5515
26 5507
28 5509
30 5511
32 5513
34 5515
36 4387
38 4389
40 4391
42 4393
44 4395
46 3231
48 3235
50 3239
52 3243
54 3247
56 2033
58 2037
60 2041
62 2045
64 2049
66 0
68 5479
70 5483
72 5487
74 5495
76 0
78 5479
80 5483
82 5487
84 5495
86 0
88 4287
90 4289
92 4291
94 4295
96 0
98 4287
100 4289
102 4291
104 4295
106 0
108 4287
110 4289
112 4291
114 4295
116 0
118 5347
120 5349
122 5351
124 5355
126 5293
128 5295
130 5297
132 5299
13
... [truncated 99.0 kB]
P2015-RealPar], 2/7 [SYNTCOMP2016-SyntSeq], 1/4 [SYNTCOMP2016-SyntPar], 2/11 [SYNTCOMP2016-RealSeq], 2/6 [SYNTCOMP2016-RealPar], 1/10 [SYNTCOMP2017-RealSeq], 2/6 [SYNTCOMP2017-RealPar], 1/6 [SYNTCOMP2017-SyntSeq], 2/4 [SYNTCOMP2017-SyntPar]
SOLVED_IN : 0.0 [2015-pre-classification], 38.2732 [SYNTCOMP2015-RealSeq], 63.5851 [SYNTCOMP2015-RealPar], 34.788 [SYNTCOMP2016-RealSeq], 55.5669 [SYNTCOMP2016-RealPar], 35.576 [SYNTCOMP2017-RealSeq], 53.6881 [SYNTCOMP2017-RealPar]
REF_SIZE : 5832
STATUS : realizable
#.