Name: |
gb_s2_r2_comp2_UNREAL.aag |
md5: |
89d323ed13157628a38e9ffec4e414d9 |
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 3587 8 472 1 3107
2
4
6
8
10
12
14
16
18 1737
20 1741
22 1745
24 1749
26 1343
28 1345
30 1347
32 1349
34 0
36 1663
38 1667
40 1675
42 0
44 1453
46 1457
48 1485
50 1453
52 1457
54 1461
56 1465
58 0
60 1251
62 1255
64 1263
66 1112
68 0
70 0
72 0
74 0
76 1343
78 1345
80 1353
82 0
84 1343
86 1345
88 1353
90 1405
92 1409
94 1413
96 1417
98 0
100 1705
102 1709
104 1717
106 1469
108 1473
110 1477
112 1481
114 1613
116 1617
118 1621
120 1625
122 1539
124 1543
126 1547
128 1551
130 1597
132 1601
134 1605
136 160
... [truncated 52.4 kB]
atch444
l445 latch445
l446 latch446
l447 latch447
l448 latch448
l449 latch449
l450 latch450
l451 latch451
l452 latch452
l453 latch453
l454 latch454
l455 latch455
l456 latch456
l457 latch457
l458 latch458
l459 latch459
l460 latch460
l461 latch461
l462 latch462
l463 latch463
l464 latch464
l465 latch465
l466 latch466
l467 latch467
l468 latch468
l469 latch469
l470 latch470
l471 latch471
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.