Name: |
cycle_sched_4_6_1.aag |
md5: |
11aa3b94608bda19232b4382046d29f2 |
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 1287 13 173 1 1101
2
4
6
8
10
12
14
16
18
20
22
24
26
28 1
30 879
32 885
34 891
36 900
38 910
40 920
42 930
44 940
46 951
48 960
50 967
52 973
54 982
56 992
58 1002
60 1012
62 1022
64 1033
66 1042
68 1049
70 1055
72 1064
74 1074
76 1084
78 1094
80 1104
82 1115
84 1124
86 1131
88 1137
90 1146
92 1156
94 1166
96 1176
98 1186
100 1197
102 1206
104 1213
106 1219
108 1229
110 1238
112 1248
114 1258
116 1268
118 1278
120 1288
122 1295
124 1301
126 1311
128 1320
130 1330
132 1340
134 1350
136 1360
138 1370
140
... [truncated 17.2 kB]
>
l152 _state_51<0>
l153 _state_49<0>
l154 _state_47<0>
l155 _state_45<0>
l156 _state_43<0>
l157 _state_41<0>
l158 _state_39<0>
l159 _state_38<0>
l160 _state_37<0>
l161 _state_34<0>
l162 _state_31<0>
l163 _state_29<0>
l164 _state_26<0>
l165 _state_21<0>
l166 _state_16<0>
l167 _state_11<0>
l168 _state_8<0>
l169 _state_7<0>
l170 _state_4<0>
l171 _state_2<0>
l172 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 1.30486 [2015-pre-classification]
#.