Details of instance cycle_sched_4_4_1.aag

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
Download instance (162.1 kB) 
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]
#.