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