Name: |
factory_assembly_7x3_1_0errors.aag |
md5: |
4d1977d639688d94be7ec4552ed91a85 |
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 355 31 33 1 291
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 1
66 2
68 4
70 6
72 8
74 10
76 12
78 14
80 16
82 18
84 20
86 22
88 24
90 26
92 28
94 30
96 32
98 34
100 36
102 38
104 40
106 42
108 44
110 46
112 48
114 50
116 52
118 54
120 56
122 58
124 60
126 62
128 521
710
130 4 2
132 130 6
134 132 8
136 134 10
138 136 12
140 138 14
142 140 16
144 142 18
146 144 20
148 146 22
150 148 24
152 150 26
154 152 28
156 154 30
158 156 32
160 158 34
162 160 36
164 162
... [truncated 3.8 kB]
l21 prev_p6_2
l22 prev_arm1@0.0.6
l23 prev_arm1@1
l24 prev_arm1@2
l25 prev_arm2@0.0.6
l26 prev_arm2@1
l27 prev_arm2@2
l28 prev_arm1op@0.0.2
l29 prev_arm1op@1
l30 prev_arm2op@0.0.2
l31 prev_arm2op@1
l32 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_7x3_1_0errors
This file was written by ABC on Thu Mar 20 10:17:36 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 1.05606 [SYNTCOMP2014-RealSeq]
#.