Name: |
bs512y.aag |
md5: |
fede646fc8aaaf6befc93c17f8d17434 |
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 16395 10 513 1 15872
2
4
6
8
10
12
14
16
18
20
22 1
24 5143
26 8215
28 9751
30 11287
32 12055
34 12823
36 13591
38 14359
40 14743
42 15127
44 15511
46 15895
48 16279
50 16663
52 17047
54 17431
56 17623
58 17815
60 18007
62 18199
64 18391
66 18583
68 18775
70 18967
72 19159
74 19351
76 19543
78 19735
80 19927
82 20119
84 20311
86 20503
88 20599
90 20695
92 20791
94 20887
96 20983
98 21079
100 21175
102 21271
104 21367
106 21463
108 21559
110 21655
112 21751
114 21847
116 21943
118 22039
120 22135
122 222
... [truncated 248.3 kB]
ign t5 = s[4] ? {t4[495:0],t4[511:496]} : t4; // shift by 16 pos
assign t6 = s[5] ? {t5[479:0],t5[511:480]} : t5; // shift by 32 pos
assign t7 = s[6] ? {t6[447:0],t6[511:448]} : t6; // shift by 64 pos
assign t8 = s[7] ? {t7[383:0],t7[511:384]} : t7; // shift by 128 pos
assign o = s[8] ? {t8[255:0],t8[511:256]} : t8; // shift by 256 pos
endmodule
-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 1.30126 [2015-pre-classification]
#.