Name: |
cycle_sched_4_7_1.aag |
md5: |
2c8eea42413eac6fed74ceaa3d533d02 |
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 15874 13 193 1 15668
2
4
6
8
10
12
14
16
18
20
22
24
26
28 1
30 29673
32 29679
34 29685
36 29694
38 29704
40 29714
42 29724
44 29734
46 29744
48 29755
50 29764
52 29771
54 29777
56 29786
58 29796
60 29806
62 29816
64 29826
66 29836
68 29847
70 29856
72 29863
74 29869
76 29878
78 29888
80 29898
82 29908
84 29918
86 29928
88 29939
90 29948
92 29955
94 29961
96 29970
98 29980
100 29990
102 30000
104 30010
106 30020
108 30031
110 30040
112 30047
114 30053
116 30063
118 30072
120 30082
122 30092
124 30102
12
... [truncated 236.7 kB]
0>
l172 _state_54<0>
l173 _state_52<0>
l174 _state_50<0>
l175 _state_48<0>
l176 _state_46<0>
l177 _state_44<0>
l178 _state_43<0>
l179 _state_42<0>
l180 _state_39<0>
l181 _state_36<0>
l182 _state_34<0>
l183 _state_31<0>
l184 _state_26<0>
l185 _state_21<0>
l186 _state_16<0>
l187 _state_11<0>
l188 _state_8<0>
l189 _state_7<0>
l190 _state_4<0>
l191 _state_2<0>
l192 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 3.2349 [2015-pre-classification]
#.