Name: |
cycle_sched_6_7_2.aag |
md5: |
8e71e01f9ad58165b89e54cf1543344e |
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 3410 20 296 1 3094
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42 1
44 3635
46 3641
48 3647
50 3656
52 3666
54 3676
56 3686
58 3696
60 3706
62 3717
64 3726
66 3733
68 3739
70 3748
72 3758
74 3768
76 3778
78 3788
80 3798
82 3809
84 3818
86 3825
88 3831
90 3840
92 3850
94 3860
96 3870
98 3880
100 3890
102 3901
104 3910
106 3917
108 3923
110 3932
112 3942
114 3952
116 3962
118 3972
120 3982
122 3993
124 4002
126 4009
128 4015
130 4024
132 4034
134 4044
136 4054
138 4064
140 4074
142 4085
144 40
... [truncated 47.3 kB]
>
l275 _state_54<0>
l276 _state_52<0>
l277 _state_49<0>
l278 _state_44<0>
l279 _state_39<0>
l280 _state_34<0>
l281 _state_29<0>
l282 _state_26<0>
l283 _state_25<0>
l284 _state_22<0>
l285 _state_20<0>
l286 _state_19<0>
l287 _state_16<0>
l288 _state_14<0>
l289 _state_13<0>
l290 _state_10<0>
l291 _state_8<0>
l292 _state_7<0>
l293 _state_4<0>
l294 _state_2<0>
l295 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 1/3 [2015-pre-classification]
SOLVED_IN : 45.2261 [2015-pre-classification]
#.