Name: |
load_full_5_comp2_REAL.aag |
md5: |
838cfd209ef45546b07b2811f85479fd |
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 15693 11 1604 1 14078
2
4
6
8
10
12
14
16
18
20
22
24 6142
26 6146
28 6150
30 6154
32 6142
34 6146
36 6150
38 6154
40 6785
42 6789
44 6793
46 6797
48 0
50 6759
52 6761
54 6765
56 0
58 6759
60 6761
62 6765
64 0
66 6759
68 6761
70 6765
72 0
74 6759
76 6761
78 6765
80 6831
82 6833
84 6835
86 6837
88 6831
90 6833
92 6835
94 6837
96 6799
98 6801
100 6803
102 6805
104 0
106 6759
108 6761
110 6765
112 6719
114 6721
116 6723
118 6725
120 6697
122 6701
124 6705
126 6709
128 6719
130 6721
132 6723
134 6725
136 66
... [truncated 266.5 kB]
9
l1580 latch1580
l1581 latch1581
l1582 latch1582
l1583 latch1583
l1584 latch1584
l1585 latch1585
l1586 latch1586
l1587 latch1587
l1588 latch1588
l1589 latch1589
l1590 latch1590
l1591 latch1591
l1592 latch1592
l1593 latch1593
l1594 latch1594
l1595 latch1595
l1596 latch1596
l1597 latch1597
l1598 latch1598
l1599 latch1599
l1600 latch1600
l1601 latch1601
l1602 latch1602
l1603 latch1603
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.