Name: |
gb_s2_r3_comp3_REAL.aag |
md5: |
211c1e8c7bbafe7ddc0eaec66959d9d3 |
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 6373 10 790 1 5573
2
4
6
8
10
12
14
16
18
20
22 2557
24 2561
26 2565
28 2569
30 2573
32 2071
34 2073
36 2075
38 2077
40 2079
42 0
44 2465
46 2469
48 2473
50 2481
52 0
54 2205
56 2209
58 2213
60 2245
62 2205
64 2209
66 2213
68 2217
70 2221
72 0
74 1957
76 1961
78 1965
80 1973
82 1790
84 0
86 0
88 0
90 0
92 0
94 2071
96 2073
98 2075
100 2083
102 0
104 2071
106 2073
108 2075
110 2083
112 2145
114 2149
116 2153
118 2157
120 2161
122 0
124 2517
126 2521
128 2525
130 2533
132 2225
134 2229
136 2233
138 2237
1
... [truncated 98.8 kB]
atch762
l763 latch763
l764 latch764
l765 latch765
l766 latch766
l767 latch767
l768 latch768
l769 latch769
l770 latch770
l771 latch771
l772 latch772
l773 latch773
l774 latch774
l775 latch775
l776 latch776
l777 latch777
l778 latch778
l779 latch779
l780 latch780
l781 latch781
l782 latch782
l783 latch783
l784 latch784
l785 latch785
l786 latch786
l787 latch787
l788 latch788
l789 latch789
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.