Name: |
gb_s2_r2_comp4_REAL.aag |
md5: |
87803a2f467d4f31b93cf3e7ae89e848 |
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 5255 8 708 1 4539
2
4
6
8
10
12
14
16
18 2569
20 2573
22 2577
24 2581
26 2585
28 2589
30 1991
32 1993
34 1995
36 1997
38 1999
40 2001
42 0
44 2459
46 2463
48 2467
50 2471
52 2479
54 0
56 2149
58 2153
60 2157
62 2161
64 2197
66 2149
68 2153
70 2157
72 2161
74 2165
76 2169
78 0
80 1855
82 1859
84 1863
86 1867
88 1875
90 1660
92 0
94 0
96 0
98 0
100 0
102 0
104 1991
106 1993
108 1995
110 1997
112 2005
114 0
116 1991
118 1993
120 1995
122 1997
124 2005
126 2077
128 2081
130 2085
132 2089
134 2093
136 2097
1
... [truncated 79.3 kB]
atch680
l681 latch681
l682 latch682
l683 latch683
l684 latch684
l685 latch685
l686 latch686
l687 latch687
l688 latch688
l689 latch689
l690 latch690
l691 latch691
l692 latch692
l693 latch693
l694 latch694
l695 latch695
l696 latch696
l697 latch697
l698 latch698
l699 latch699
l700 latch700
l701 latch701
l702 latch702
l703 latch703
l704 latch704
l705 latch705
l706 latch706
l707 latch707
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.