Name: |
beemskbn1f1_c0to7.aag |
md5: |
d62bedb446804416a688322d3dd7e799 |
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 |
aag 16892 9 538 1 16345
2
4
6
8
10
12
14
16
18
20 1800
22 1806
24 1812
26 1818
28 1824
30 1830
32 1849
34 1855
36 1884
38 1892
40 1900
42 1908
44 1916
46 1924
48 1945
50 1953
52 1998
54 2006
56 2014
58 2022
60 2030
62 2038
64 2063
66 2071
68 2098
70 2106
72 2114
74 2122
76 2130
78 2138
80 2163
82 2171
84 2222
86 2230
88 2238
90 2246
92 2254
94 2262
96 2287
98 2295
100 2322
102 2330
104 2338
106 2346
108 2354
110 2362
112 2387
114 2395
116 2442
118 2450
120 2458
122 2466
124 2474
126 2482
128 2507
130 2515
1
... [truncated 269.7 kB]
l516 label__l516
l517 label__l517
l518 label__l518
l519 label__l519
l520 label__l520
l521 label__l521
l522 label__l522
l523 label__l523
l524 label__l524
l525 label__l525
l526 label__l526
l527 label__l527
l528 label__l528
l529 label__l529
l530 label__l530
l531 label__l531
l532 label__l532
l533 label__l533
l534 label__l534
l535 label__l535
l536 label__l536
l537 label__l537
o0 label__o0
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 1/3 [2015-pre-classification]
SOLVED_IN : 57.7129 [2015-pre-classification]
#.