Name: |
bs512n.aag |
md5: |
41c8976e6a1da80c90ba35a19c1e569b |
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 16397 10 513 1 15874
2
4
6
8
10
12
14
16
18
20
22 1
24 5147
26 8219
28 9755
30 11291
32 12059
34 12827
36 13595
38 14363
40 14747
42 15131
44 15515
46 15899
48 16283
50 16667
52 17051
54 17435
56 17627
58 17819
60 18011
62 18203
64 18395
66 18587
68 18779
70 18971
72 19163
74 19355
76 19547
78 19739
80 19931
82 20123
84 20315
86 20507
88 20603
90 20699
92 20795
94 20891
96 20987
98 21083
100 21179
102 21275
104 21371
106 21467
108 21563
110 21659
112 21755
114 21851
116 21947
118 22043
120 22139
122 222
... [truncated 248.2 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.38533 [2015-pre-classification]
#.