Name: |
stay22n.aag |
md5: |
ada69426af193b4c28174f87f7ebe09d |
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 3483 45 24 1 3414
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
78
80
82
84
86
88
90
92 1
94 331
96 6799
98 6807
100 6815
102 6823
104 6831
106 6839
108 6847
110 6855
112 6863
114 6871
116 6879
118 6887
120 6895
122 6903
124 6911
126 6919
128 6927
130 6935
132 6943
134 6951
136 6959
138 6967
320
140 95 92
142 94 92
144 141 92
146 97 92
148 96 92
150 147 92
152 99 92
154 98 92
156 153 92
158 101 92
160 100 92
162 159 92
164 103 92
166 102 92
... [truncated 51.0 kB]
000000000000000} : 0;
assign s18 = b[18] ? {a[3:0],18'b000000000000000000} : 0;
assign s19 = b[19] ? {a[2:0],19'b0000000000000000000} : 0;
assign s20 = b[20] ? {a[1:0],20'b00000000000000000000} : 0;
assign s21 = b[21] ? {a[0:0],21'b000000000000000000000} : 0;
assign r = s0+s1+s2+s3+s4+s5+s6+s7+s8+s9+s10+s11+s12+s13+s14+s15+s16+s17+s18+s19+s20+s21;
endmodule
-------------------------------
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.0 [SYNTCOMP2014-RealSeq]
#.