Name: |
cycle_sched_12_3_2.aag |
md5: |
88939a788fa044da1c80c33e2baca7a3 |
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 50118 38 347 1 49733
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
66
68
70
72
74
76
78 1
80 96947
82 96953
84 96959
86 96968
88 96978
90 96989
92 96998
94 97005
96 97011
98 97020
100 97030
102 97041
104 97050
106 97057
108 97063
110 97072
112 97082
114 97093
116 97102
118 97109
120 97115
122 97124
124 97134
126 97145
128 97154
130 97161
132 97167
134 97176
136 97186
138 97197
140 97206
142 97213
144 97219
146 97228
148 97238
150 97249
152 97258
154 97265
15
... [truncated 772.6 kB]
>
l326 _state_40<0>
l327 _state_38<0>
l328 _state_37<0>
l329 _state_34<0>
l330 _state_32<0>
l331 _state_31<0>
l332 _state_28<0>
l333 _state_26<0>
l334 _state_25<0>
l335 _state_22<0>
l336 _state_20<0>
l337 _state_19<0>
l338 _state_16<0>
l339 _state_14<0>
l340 _state_13<0>
l341 _state_10<0>
l342 _state_8<0>
l343 _state_7<0>
l344 _state_4<0>
l345 _state_2<0>
l346 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 1/3 [2015-pre-classification]
SOLVED_IN : 29.7843 [2015-pre-classification]
#.