Name: |
bs2048n.aag |
md5: |
2466776db4597f162dbcc7782fd76fb7 |
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 77839 12 2049 1 75778
2
4
6
8
10
12
14
16
18
20
22
24
26 1
28 20511
30 32799
32 38943
34 45087
36 48159
38 51231
40 54303
42 57375
44 58911
46 60447
48 61983
50 63519
52 65055
54 66591
56 68127
58 69663
60 70431
62 71199
64 71967
66 72735
68 73503
70 74271
72 75039
74 75807
76 76575
78 77343
80 78111
82 78879
84 79647
86 80415
88 81183
90 81951
92 82335
94 82719
96 83103
98 83487
100 83871
102 84255
104 84639
106 85023
108 85407
110 85791
112 86175
114 86559
116 86943
118 87327
120 87711
122 88095
124 8
... [truncated 1.3 MB]
983:0],t6[2047:1984]} : t6; // shift by 64 pos
assign t8 = s[7] ? {t7[1919:0],t7[2047:1920]} : t7; // shift by 128 pos
assign t9 = s[8] ? {t8[1791:0],t8[2047:1792]} : t8; // shift by 256 pos
assign t10= s[9] ? {t9[1535:0],t9[2047:1536]} : t9; // shift by 512 pos
assign o = s[10]? {t10[1023:0],t10[2047:1024]} : t10; // shift by 1024 pos
endmodule
-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 11.7244 [2015-pre-classification]
#.