Name: |
mult8.aag |
md5: |
8039200de336120f997f8c60cfd85578 |
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 636 32 0 1 604
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
1273
66 22 2
68 18 6
70 69 67
72 68 66
74 73 71
76 20 4
78 76 74
80 77 75
82 81 79
84 18 2
86 84 76
88 86 83
90 87 82
92 91 89
94 93 39
96 92 38
98 97 95
100 20 2
102 18 4
104 103 101
106 105 87
108 30 16
110 32 14
112 111 109
114 28 16
116 30 14
118 32 12
120 117 115
122 121 118
124 116 114
126 125 123
128 127 113
130 110 108
132 131 129
134 32 16
136 135 132
138 134 133
140 139 137
142 22 4
144 2
... [truncated 7.1 kB]
llable_prod[6]
i23 controllable_prod[7]
i24 controllable_prod[8]
i25 controllable_prod[9]
i26 controllable_prod[10]
i27 controllable_prod[11]
i28 controllable_prod[12]
i29 controllable_prod[13]
i30 controllable_prod[14]
i31 controllable_prod[15]
o0 o_err
c
TwoBitAdder
This file was written by ABC on Mon Apr 15 10:16:09 2013
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 8/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.052002 [SYNTCOMP2014-RealSeq]
#.