Name: |
cycle_sched_6_3_2.aag |
md5: |
cfd2fc731db93dff10b471a5c474ad5f |
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 1488 20 176 1 1292
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42 1
44 1309
46 1315
48 1321
50 1330
52 1340
54 1351
56 1360
58 1367
60 1373
62 1382
64 1392
66 1403
68 1412
70 1419
72 1425
74 1434
76 1444
78 1455
80 1464
82 1471
84 1477
86 1486
88 1496
90 1507
92 1516
94 1523
96 1529
98 1538
100 1548
102 1559
104 1568
106 1575
108 1581
110 1590
112 1600
114 1611
116 1620
118 1627
120 1633
122 1643
124 1652
126 1662
128 1672
130 1679
132 1685
134 1695
136 1704
138 1714
140 1724
142 1731
144 17
... [truncated 20.0 kB]
>
l155 _state_42<0>
l156 _state_41<0>
l157 _state_40<0>
l158 _state_37<0>
l159 _state_34<0>
l160 _state_32<0>
l161 _state_29<0>
l162 _state_26<0>
l163 _state_25<0>
l164 _state_22<0>
l165 _state_20<0>
l166 _state_19<0>
l167 _state_16<0>
l168 _state_14<0>
l169 _state_13<0>
l170 _state_10<0>
l171 _state_8<0>
l172 _state_7<0>
l173 _state_4<0>
l174 _state_2<0>
l175 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 0.70159 [2015-pre-classification]
#.