Name: |
bs256y.aag |
md5: |
68837f717a2378a7779a2e885898886e |
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 7434 9 257 1 7168
2
4
6
8
10
12
14
16
18
20 1
22 2581
24 4117
26 4885
28 5653
30 6037
32 6421
34 6805
36 7189
38 7381
40 7573
42 7765
44 7957
46 8149
48 8341
50 8533
52 8725
54 8821
56 8917
58 9013
60 9109
62 9205
64 9301
66 9397
68 9493
70 9589
72 9685
74 9781
76 9877
78 9973
80 10069
82 10165
84 10261
86 10309
88 10357
90 10405
92 10453
94 10501
96 10549
98 10597
100 10645
102 10693
104 10741
106 10789
108 10837
110 10885
112 10933
114 10981
116 11029
118 11077
120 11125
122 11173
124 11221
126 11269
... [truncated 106.1 kB]
sign t4 = s[3] ? {t3[247:0],t3[255:248]} : t3; // shift by 8 pos
assign t5 = s[4] ? {t4[239:0],t4[255:240]} : t4; // shift by 16 pos
assign t6 = s[5] ? {t5[223:0],t5[255:224]} : t5; // shift by 32 pos
assign t7 = s[6] ? {t6[191:0],t6[255:192]} : t6; // shift by 64 pos
assign o = s[7] ? {t7[127:0],t7[255:128]} : t7; // shift by 128 pos
endmodule
-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 0.400138 [2015-pre-classification]
#.