Name: |
cycle_sched_12_7_4.aag |
md5: |
78afaa2f7c35869f03183b67f578226f |
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 4497 38 578 1 3881
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74
76
78 1
80 2897
82 2903
84 2909
86 2918
88 2928
90 2938
92 2948
94 2958
96 2968
98 2979
100 2988
102 2995
104 3001
106 3010
108 3020
110 3030
112 3040
114 3050
116 3060
118 3071
120 3080
122 3087
124 3093
126 3102
128 3112
130 3122
132 3132
134 3142
136 3152
138 3163
140 3172
142 3179
144 3185
146 3194
148 3204
150 3214
152 3224
154 3234
156 3244
158 3255
160 3264
162 3271
164 32
... [truncated 65.8 kB]
te_57<0>
l557 _state_54<0>
l558 _state_52<0>
l559 _state_49<0>
l560 _state_44<0>
l561 _state_39<0>
l562 _state_34<0>
l563 _state_29<0>
l564 _state_26<0>
l565 _state_25<0>
l566 _state_22<0>
l567 _state_20<0>
l568 _state_19<0>
l569 _state_16<0>
l570 _state_14<0>
l571 _state_13<0>
l572 _state_10<0>
l573 _state_8<0>
l574 _state_7<0>
l575 _state_4<0>
l576 _state_2<0>
l577 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : unknown
SOLVED_BY : 0/3 [2015-pre-classification]
SOLVED_IN : 0.0 [2015-pre-classification]
#.