Name: |
gb_s2_r2_comp3_REAL.aag |
md5: |
ec97be9e01a500e27bc9ac3e52850e3f |
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 4421 8 590 1 3823
2
4
6
8
10
12
14
16
18 2153
20 2157
22 2161
24 2165
26 2169
28 1667
30 1669
32 1671
34 1673
36 1675
38 0
40 2061
42 2065
44 2069
46 2077
48 0
50 1801
52 1805
54 1809
56 1841
58 1801
60 1805
62 1809
64 1813
66 1817
68 0
70 1553
72 1557
74 1561
76 1569
78 1386
80 0
82 0
84 0
86 0
88 0
90 1667
92 1669
94 1671
96 1679
98 0
100 1667
102 1669
104 1671
106 1679
108 1741
110 1745
112 1749
114 1753
116 1757
118 0
120 2113
122 2117
124 2121
126 2129
128 1821
130 1825
132 1829
134 1833
136 1837
1
... [truncated 65.6 kB]
atch562
l563 latch563
l564 latch564
l565 latch565
l566 latch566
l567 latch567
l568 latch568
l569 latch569
l570 latch570
l571 latch571
l572 latch572
l573 latch573
l574 latch574
l575 latch575
l576 latch576
l577 latch577
l578 latch578
l579 latch579
l580 latch580
l581 latch581
l582 latch582
l583 latch583
l584 latch584
l585 latch585
l586 latch586
l587 latch587
l588 latch588
l589 latch589
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.