Name: |
gb_s2_r3_comp2_UNREAL.aag |
md5: |
8907e04b3585c0fbf56c8e53fcb3597d |
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 5173 10 632 1 4531
2
4
6
8
10
12
14
16
18
20
22 2061
24 2065
26 2069
28 2073
30 1667
32 1669
34 1671
36 1673
38 0
40 1987
42 1991
44 1999
46 0
48 1777
50 1781
52 1809
54 1777
56 1781
58 1785
60 1789
62 0
64 1575
66 1579
68 1587
70 1436
72 0
74 0
76 0
78 0
80 1667
82 1669
84 1677
86 0
88 1667
90 1669
92 1677
94 1729
96 1733
98 1737
100 1741
102 0
104 2029
106 2033
108 2041
110 1793
112 1797
114 1801
116 1805
118 1937
120 1941
122 1945
124 1949
126 1863
128 1867
130 1871
132 1875
134 1921
136 1925
138 192
... [truncated 76.9 kB]
atch604
l605 latch605
l606 latch606
l607 latch607
l608 latch608
l609 latch609
l610 latch610
l611 latch611
l612 latch612
l613 latch613
l614 latch614
l615 latch615
l616 latch616
l617 latch617
l618 latch618
l619 latch619
l620 latch620
l621 latch621
l622 latch622
l623 latch623
l624 latch624
l625 latch625
l626 latch626
l627 latch627
l628 latch628
l629 latch629
l630 latch630
l631 latch631
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.