Name: |
factory_assembly_5x6_2_0errors.aag |
md5: |
6f5abab195276f234176186739204e81 |
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 597 43 45 1 509
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 1
90 2
92 4
94 6
96 8
98 10
100 12
102 14
104 16
106 18
108 20
110 22
112 24
114 26
116 28
118 30
120 32
122 34
124 36
126 38
128 40
130 42
132 44
134 46
136 48
138 50
140 52
142 54
144 56
146 58
148 60
150 62
152 64
154 66
156 68
158 70
160 72
162 74
164 76
166 78
168 80
170 82
172 84
174 86
176 989
1194
178 4 3
180 178 6
182 180 8
184 182 10
186 184 12
188 186
... [truncated 6.9 kB]
prev_arm1@1
l34 prev_arm1@2
l35 prev_arm2@0.0.4
l36 prev_arm2@1
l37 prev_arm2@2
l38 prev_arm1op@0.0.5
l39 prev_arm1op@1
l40 prev_arm1op@2
l41 prev_arm2op@0.0.5
l42 prev_arm2op@1
l43 prev_arm2op@2
l44 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_5x6_2_0errors
This file was written by ABC on Thu Mar 20 10:17:27 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : unrealizable
SOLVED_BY : 5/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 84.0933 [SYNTCOMP2014-RealSeq]
#.