Name: |
stay18y.aag |
md5: |
5d478cbb9ae29825251d87443beb3e32 |
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 1379 37 20 1 1322
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74
76 1
78 191
80 2656
82 2662
84 2668
86 2674
88 2680
90 2686
92 2692
94 2698
96 2704
98 2710
100 2716
102 2722
104 2728
106 2734
108 2740
110 2746
112 2752
114 2759
188
116 78 76
118 80 76
120 82 76
122 120 118
124 84 76
126 124 122
128 86 76
130 128 126
132 88 76
134 132 130
136 90 76
138 136 134
140 92 76
142 140 138
144 94 76
146 144 142
148 96 76
150 148 146
152 98 76
154 152 1
... [truncated 20.2 kB]
assign s13 = b[13] ? {a[4:0],13'b0000000000000} : 0;
assign s14 = b[14] ? {a[3:0],14'b00000000000000} : 0;
assign s15 = b[15] ? {a[2:0],15'b000000000000000} : 0;
assign s16 = b[16] ? {a[1:0],16'b0000000000000000} : 0;
assign s17 = b[17] ? {a[0:0],17'b00000000000000000} : 0;
assign r = s0+s1+s2+s3+s4+s5+s6+s7+s8+s9+s10+s11+s12+s13+s14+s15+s16+s17;
endmodule
-------------------------------
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.0 [SYNTCOMP2014-RealSeq]
#.