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