Name: |
factory_assembly_5x5_2_1errors.aag |
md5: |
034eeed2c60cd19e4b723ee1d0d28ed2 |
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 530 39 41 1 450
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 1
82 2
84 4
86 6
88 8
90 10
92 12
94 14
96 16
98 18
100 20
102 22
104 24
106 26
108 28
110 30
112 32
114 34
116 36
118 38
120 40
122 42
124 44
126 46
128 48
130 50
132 52
134 54
136 56
138 58
140 60
142 62
144 64
146 66
148 68
150 70
152 72
154 74
156 76
158 78
160 857
1060
162 4 3
164 162 6
166 164 8
168 166 10
170 168 12
172 170 14
174 172 16
176 174 18
178 176 20
180 178
... [truncated 6.0 kB]
29 prev_arm1@1
l30 prev_arm1@2
l31 prev_arm2@0.0.4
l32 prev_arm2@1
l33 prev_arm2@2
l34 prev_arm1op@0.0.4
l35 prev_arm1op@1
l36 prev_arm1op@2
l37 prev_arm2op@0.0.4
l38 prev_arm2op@1
l39 prev_arm2op@2
l40 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_5x5_2_1errors
This file was written by ABC on Thu Mar 20 10:17:30 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 21.1333 [SYNTCOMP2014-RealSeq]
#.