Name: |
cycle_sched_12_4_4.aag |
md5: |
56bc17cdba9fa5a5aaa0bf957a6a39ee |
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 7411 38 398 1 6975
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 10983
82 10989
84 10995
86 11004
88 11014
90 11024
92 11035
94 11044
96 11051
98 11057
100 11066
102 11076
104 11086
106 11097
108 11106
110 11113
112 11119
114 11128
116 11138
118 11148
120 11159
122 11168
124 11175
126 11181
128 11190
130 11200
132 11210
134 11221
136 11230
138 11237
140 11243
142 11252
144 11262
146 11272
148 11283
150 11292
152 11299
154 11305
156
... [truncated 107.5 kB]
>
l377 _state_46<0>
l378 _state_45<0>
l379 _state_42<0>
l380 _state_39<0>
l381 _state_37<0>
l382 _state_34<0>
l383 _state_29<0>
l384 _state_26<0>
l385 _state_25<0>
l386 _state_22<0>
l387 _state_20<0>
l388 _state_19<0>
l389 _state_16<0>
l390 _state_14<0>
l391 _state_13<0>
l392 _state_10<0>
l393 _state_8<0>
l394 _state_7<0>
l395 _state_4<0>
l396 _state_2<0>
l397 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 180.057 [2015-pre-classification]
#.