Name: |
factory_assembly_4x3_1_1errors.aag |
md5: |
84194cb7c1026eae9a30544f7632a165 |
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 188 21 23 1 144
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44 1
46 2
48 4
50 6
52 8
54 10
56 12
58 14
60 16
62 18
64 20
66 22
68 24
70 26
72 28
74 30
76 32
78 34
80 36
82 38
84 40
86 42
88 299
376
90 4 2
92 90 6
94 92 8
96 94 10
98 96 12
100 98 14
102 100 16
104 102 18
106 104 20
108 106 22
110 108 24
112 111 45
114 83 81
116 75 72
118 116 114
120 87 85
122 79 76
124 122 120
126 125 119
128 126 47
130 128 9
132 129 8
134 133 131
136 71 26
138 5 3
140 138 7
142 70 27
144 143 141
146 145 1
... [truncated 1.8 kB]
_p3_1
l12 prev_p3_2
l13 prev_errorCount@0.0.1
l14 prev_arm1@0.0.3
l15 prev_arm1@1
l16 prev_arm2@0.0.3
l17 prev_arm2@1
l18 prev_arm1op@0.0.2
l19 prev_arm1op@1
l20 prev_arm2op@0.0.2
l21 prev_arm2op@1
l22 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_4x3_1_1errors
This file was written by ABC on Thu Mar 20 10:17:29 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.288018 [SYNTCOMP2014-RealSeq]
#.