Name: |
cycle_sched_6_2_1.aag |
md5: |
8e27262e36644fd20c86e19d315dd825 |
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 17415 19 137 1 17259
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40 1
42 33553
44 33559
46 33565
48 33574
50 33585
52 33594
54 33601
56 33607
58 33616
60 33627
62 33636
64 33643
66 33649
68 33658
70 33669
72 33678
74 33685
76 33691
78 33700
80 33711
82 33720
84 33727
86 33733
88 33742
90 33753
92 33762
94 33769
96 33775
98 33784
100 33795
102 33804
104 33811
106 33817
108 33827
110 33836
112 33846
114 33853
116 33859
118 33869
120 33878
122 33888
124 33895
126 33901
128 33911
130 33920
132 3393
... [truncated 257.3 kB]
>
l116 _state_41<0>
l117 _state_38<0>
l118 _state_35<0>
l119 _state_33<0>
l120 _state_32<0>
l121 _state_31<0>
l122 _state_28<0>
l123 _state_25<0>
l124 _state_23<0>
l125 _state_21<0>
l126 _state_19<0>
l127 _state_18<0>
l128 _state_17<0>
l129 _state_14<0>
l130 _state_11<0>
l131 _state_9<0>
l132 _state_8<0>
l133 _state_7<0>
l134 _state_4<0>
l135 _state_2<0>
l136 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 0.634813 [2015-pre-classification]
#.