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