Name: |
load_4c_comp_comp7_REAL.aag |
md5: |
eb024897d34429da4a3befec3ef9198e |
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 11089 9 864 1 10216
2
4
6
8
10
12
14
16
18
20 0
22 4685
24 4689
26 4693
28 4697
30 4701
32 4705
34 4709
36 4717
38 0
40 4379
42 4383
44 4387
46 4391
48 4395
50 4399
52 4403
54 4411
56 0
58 4195
60 4199
62 4203
64 4207
66 4211
68 4215
70 4219
72 4227
74 4665
76 4667
78 4669
80 4671
82 4673
84 4675
86 4677
88 4679
90 4681
92 4231
94 4235
96 4239
98 4243
100 4247
102 4251
104 4255
106 4259
108 4263
110 0
112 3835
114 3839
116 3843
118 3847
120 3851
122 3855
124 3859
126 3867
128 0
130 3799
132 3803
134 380
... [truncated 177.1 kB]
atch836
l837 latch837
l838 latch838
l839 latch839
l840 latch840
l841 latch841
l842 latch842
l843 latch843
l844 latch844
l845 latch845
l846 latch846
l847 latch847
l848 latch848
l849 latch849
l850 latch850
l851 latch851
l852 latch852
l853 latch853
l854 latch854
l855 latch855
l856 latch856
l857 latch857
l858 latch858
l859 latch859
l860 latch860
l861 latch861
l862 latch862
l863 latch863
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.