Name: |
cycle_sched_4_4_1.aag |
md5: |
0405c555a9ca48c31336108aad3d4c3c |
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 11474 13 133 1 11328
2
4
6
8
10
12
14
16
18
20
22
24
26
28 1
30 21669
32 21675
34 21681
36 21690
38 21700
40 21710
42 21721
44 21730
46 21737
48 21743
50 21752
52 21762
54 21772
56 21783
58 21792
60 21799
62 21805
64 21814
66 21824
68 21834
70 21845
72 21854
74 21861
76 21867
78 21876
80 21886
82 21896
84 21907
86 21916
88 21923
90 21929
92 21939
94 21948
96 21958
98 21968
100 21978
102 21985
104 21991
106 22001
108 22010
110 22020
112 22030
114 22040
116 22047
118 22053
120 22063
122 22072
124 22082
12
... [truncated 161.1 kB]
l112 _state_46<0>
l113 _state_43<0>
l114 _state_41<0>
l115 _state_39<0>
l116 _state_37<0>
l117 _state_35<0>
l118 _state_33<0>
l119 _state_31<0>
l120 _state_29<0>
l121 _state_28<0>
l122 _state_27<0>
l123 _state_24<0>
l124 _state_21<0>
l125 _state_19<0>
l126 _state_16<0>
l127 _state_11<0>
l128 _state_8<0>
l129 _state_7<0>
l130 _state_4<0>
l131 _state_2<0>
l132 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 0.769638 [2015-pre-classification]
#.