| Name: |
load_full_6_comp2_REAL.aag |
| md5: |
f30e3674f91b21684ea355bee0342506 |
| 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 16933 11 1780 1 15142
2
4
6
8
10
12
14
16
18
20
22
24 6494
26 6498
28 6502
30 6506
32 6494
34 6498
36 6502
38 6506
40 7137
42 7141
44 7145
46 7149
48 0
50 7111
52 7113
54 7117
56 0
58 7111
60 7113
62 7117
64 0
66 7111
68 7113
70 7117
72 0
74 7111
76 7113
78 7117
80 7183
82 7185
84 7187
86 7189
88 7183
90 7185
92 7187
94 7189
96 7151
98 7153
100 7155
102 7157
104 0
106 7111
108 7113
110 7117
112 7071
114 7073
116 7075
118 7077
120 7049
122 7053
124 7057
126 7061
128 7071
130 7073
132 7075
134 7077
136 70
... [truncated 289.5 kB]
5
l1756 latch1756
l1757 latch1757
l1758 latch1758
l1759 latch1759
l1760 latch1760
l1761 latch1761
l1762 latch1762
l1763 latch1763
l1764 latch1764
l1765 latch1765
l1766 latch1766
l1767 latch1767
l1768 latch1768
l1769 latch1769
l1770 latch1770
l1771 latch1771
l1772 latch1772
l1773 latch1773
l1774 latch1774
l1775 latch1775
l1776 latch1776
l1777 latch1777
l1778 latch1778
l1779 latch1779
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.