Name: |
load_full_3_comp3_REAL.aag |
md5: |
048a3f345f1e1155eaf399010b1ba02b |
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 6383 7 670 1 5706
2
4
6
8
10
12
14
16 5507
18 5509
20 5511
22 5513
24 5515
26 5507
28 5509
30 5511
32 5513
34 5515
36 4387
38 4389
40 4391
42 4393
44 4395
46 3231
48 3235
50 3239
52 3243
54 3247
56 2033
58 2037
60 2041
62 2045
64 2049
66 0
68 5479
70 5483
72 5487
74 5495
76 0
78 5479
80 5483
82 5487
84 5495
86 0
88 4287
90 4289
92 4291
94 4295
96 0
98 4287
100 4289
102 4291
104 4295
106 0
108 4287
110 4289
112 4291
114 4295
116 0
118 5347
120 5349
122 5351
124 5355
126 5293
128 5295
130 5297
132 5299
13
... [truncated 98.5 kB]
atch642
l643 latch643
l644 latch644
l645 latch645
l646 latch646
l647 latch647
l648 latch648
l649 latch649
l650 latch650
l651 latch651
l652 latch652
l653 latch653
l654 latch654
l655 latch655
l656 latch656
l657 latch657
l658 latch658
l659 latch659
l660 latch660
l661 latch661
l662 latch662
l663 latch663
l664 latch664
l665 latch665
l666 latch666
l667 latch667
l668 latch668
l669 latch669
o0 error
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.