Name: |
bs1024y.aag |
md5: |
2086f274f8a8a91e33633bb5ec40ed7f |
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 35852 11 1025 1 34816
2
4
6
8
10
12
14
16
18
20
22
24 1
26 10265
28 16409
30 19481
32 22553
34 24089
36 25625
38 27161
40 28697
42 29465
44 30233
46 31001
48 31769
50 32537
52 33305
54 34073
56 34841
58 35225
60 35609
62 35993
64 36377
66 36761
68 37145
70 37529
72 37913
74 38297
76 38681
78 39065
80 39449
82 39833
84 40217
86 40601
88 40985
90 41177
92 41369
94 41561
96 41753
98 41945
100 42137
102 42329
104 42521
106 42713
108 42905
110 43097
112 43289
114 43481
116 43673
118 43865
120 44057
122 44249
... [truncated 556.3 kB]
= s[5] ? {t5[991:0],t5[1023:992]} : t5; // shift by 32 pos
assign t7 = s[6] ? {t6[959:0],t6[1023:960]} : t6; // shift by 64 pos
assign t8 = s[7] ? {t7[895:0],t7[1023:896]} : t7; // shift by 128 pos
assign t9 = s[8] ? {t8[767:0],t8[1023:768]} : t8; // shift by 256 pos
assign o = s[9] ? {t9[511:0],t9[1023:512]} : t9; // shift by 512 pos
endmodule
-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 4.74565 [2015-pre-classification]
#.