Name: |
factory_assembly_7x5_2_10errors.aag |
md5: |
dc757b1ded8ef87fd893bf2e3397e149 |
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 700 52 54 1 594
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
94
96
98
100
102
104
106 1
108 2
110 4
112 6
114 8
116 10
118 12
120 14
122 16
124 18
126 20
128 22
130 24
132 26
134 28
136 30
138 32
140 34
142 36
144 38
146 40
148 42
150 44
152 46
154 48
156 50
158 52
160 54
162 56
164 58
166 60
168 62
170 64
172 66
174 68
176 70
178 72
180 74
182 76
184 78
186 80
188 82
190 84
192 86
194 88
196 90
198 92
200 94
202 96
... [truncated 8.4 kB]
2 prev_arm1@1
l43 prev_arm1@2
l44 prev_arm2@0.0.6
l45 prev_arm2@1
l46 prev_arm2@2
l47 prev_arm1op@0.0.4
l48 prev_arm1op@1
l49 prev_arm1op@2
l50 prev_arm2op@0.0.4
l51 prev_arm2op@1
l52 prev_arm2op@2
l53 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_7x5_2_10errors
This file was written by ABC on Thu Mar 20 10:17:39 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 1/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 828.636 [SYNTCOMP2014-RealSeq]
#.