Name: |
factory_assembly_5x3_1_4errors.aag |
md5: |
2cae16015373c6ba649e68e7f8795274 |
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 312 28 30 1 254
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 1
60 2
62 4
64 6
66 8
68 10
70 12
72 14
74 16
76 18
78 20
80 22
82 24
84 26
86 28
88 30
90 32
92 34
94 36
96 38
98 40
100 42
102 44
104 46
106 48
108 50
110 52
112 54
114 56
116 431
624
118 35 33
120 119 36
122 4 2
124 122 6
126 124 8
128 126 10
130 128 12
132 130 14
134 132 16
136 134 18
138 136 20
140 138 22
142 140 24
144 142 26
146 144 28
148 146 30
150 149 59
152 151 121
154 5 3
156 154 7
158 95 36
16
... [truncated 3.3 kB]
v_errorCount@2
l19 prev_arm1@0.0.4
l20 prev_arm1@1
l21 prev_arm1@2
l22 prev_arm2@0.0.4
l23 prev_arm2@1
l24 prev_arm2@2
l25 prev_arm1op@0.0.2
l26 prev_arm1op@1
l27 prev_arm2op@0.0.2
l28 prev_arm2op@1
l29 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_5x3_1_4errors
This file was written by ABC on Thu Mar 20 10:17:31 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.42809 [SYNTCOMP2014-RealSeq]
#.