Name: |
factory_assembly_5x3_1_0errors.aag |
md5: |
cc855faa7d41f35dd91070f32bb09331 |
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 287 25 27 1 235
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 1
54 2
56 4
58 6
60 8
62 10
64 12
66 14
68 16
70 18
72 20
74 22
76 24
78 26
80 28
82 30
84 32
86 34
88 36
90 38
92 40
94 42
96 44
98 46
100 48
102 50
104 381
574
106 4 2
108 106 6
110 108 8
112 110 10
114 112 12
116 114 14
118 116 16
120 118 18
122 120 20
124 122 22
126 124 24
128 126 26
130 128 28
132 130 30
134 133 53
136 5 3
138 136 7
140 99 97
142 87 84
144 142 89
146 144 140
148 103 101
150 93 90
152 150 95
15
... [truncated 2.9 kB]
l15 prev_p4_2
l16 prev_arm1@0.0.4
l17 prev_arm1@1
l18 prev_arm1@2
l19 prev_arm2@0.0.4
l20 prev_arm2@1
l21 prev_arm2@2
l22 prev_arm1op@0.0.2
l23 prev_arm1op@1
l24 prev_arm2op@0.0.2
l25 prev_arm2op@1
l26 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_5x3_1_0errors
This file was written by ABC on Thu Mar 20 10:17:23 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.564034 [SYNTCOMP2014-RealSeq]
#.