Name: |
bs128n.aag |
md5: |
5724763ae33d8e29d0ced0d049cbf48f |
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 3339 8 129 1 3202
2
4
6
8
10
12
14
16
18 1
20 1303
22 2071
24 2455
26 2839
28 3031
30 3223
32 3415
34 3607
36 3703
38 3799
40 3895
42 3991
44 4087
46 4183
48 4279
50 4375
52 4423
54 4471
56 4519
58 4567
60 4615
62 4663
64 4711
66 4759
68 4807
70 4855
72 4903
74 4951
76 4999
78 5047
80 5095
82 5143
84 5167
86 5191
88 5215
90 5239
92 5263
94 5287
96 5311
98 5335
100 5359
102 5383
104 5407
106 5431
108 5455
110 5479
112 5503
114 5527
116 5551
118 5575
120 5599
122 5623
124 5647
126 5671
128 5695
130 5719
1
... [truncated 44.9 kB]
pos
assign t3 = s[2] ? {t2[123:0],t2[127:124]} : t2; // shift by 4 pos
assign t4 = s[3] ? {t3[119:0],t3[127:120]} : t3; // shift by 8 pos
assign t5 = s[4] ? {t4[111:0],t4[127:112]} : t4; // shift by 16 pos
assign t6 = s[5] ? {t5[95:0],t5[127:96]} : t5; // shift by 32 pos
assign o = s[6] ? {t6[63:0],t6[127:64]} : t6; // shift by 64 pos
endmodule
-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.096005 [SYNTCOMP2014-RealSeq]
#.