Name: |
demo-v22_5_REAL.aag |
md5: |
643dab711dde6fc630c621397c822d93 |
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 2105 4 252 1 1849
2
4
6
8
10 0
12 3681
14 3687
16 3693
18 3699
20 3705
22 3717
24 0
26 2048
28 2050
30 2052
32 2054
34 2056
36 2063
38 0
40 3651
42 3655
44 3659
46 3663
48 3667
50 3675
52 0
54 2827
56 2833
58 2839
60 2845
62 2851
64 2863
66 0
68 3818
70 3822
72 3826
74 3830
76 3834
78 3845
80 0
82 3867
84 3873
86 3879
88 3885
90 3891
92 3903
94 0
96 3907
98 3911
100 3915
102 3919
104 3923
106 3931
108 0
110 4077
112 4083
114 4089
116 4095
118 4101
120 4113
122 4047
124 4051
126 4055
128 4059
130 4063
13
... [truncated 29.9 kB]
atch224
l225 latch225
l226 latch226
l227 latch227
l228 latch228
l229 latch229
l230 latch230
l231 latch231
l232 latch232
l233 latch233
l234 latch234
l235 latch235
l236 latch236
l237 latch237
l238 latch238
l239 latch239
l240 latch240
l241 latch241
l242 latch242
l243 latch243
l244 latch244
l245 latch245
l246 latch246
l247 latch247
l248 latch248
l249 latch249
l250 latch250
l251 latch251
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 6/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 1.5601 [SYNTCOMP2014-RealSeq]
#.