Name: |
load_3c_comp_comp1_REAL.aag |
md5: |
a219d45a2000e55a7cf240c519235324 |
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 2989 7 222 1 2760
2
4
6
8
10
12
14
16 0
18 1503
20 1511
22 0
24 1401
26 1409
28 0
30 1339
32 1347
34 1495
36 1497
38 1499
40 1351
42 1355
44 1359
46 0
48 1219
50 1227
52 0
54 1207
56 1215
58 1033
60 1037
62 1041
64 0
66 1515
68 1523
70 1021
72 1025
74 1029
76 1377
78 1381
80 1385
82 1363
84 1367
86 1371
88 1485
90 1489
92 1493
94 1527
96 1531
98 1535
100 1389
102 1393
104 1397
106 1473
108 1477
110 1481
112 1461
114 1465
116 1469
118 0
120 3233
122 3241
124 0
126 3221
128 3229
130 0
132 2879
134 2887
13
... [truncated 40.8 kB]
l195 latch195
l196 latch196
l197 latch197
l198 latch198
l199 latch199
l200 latch200
l201 latch201
l202 latch202
l203 latch203
l204 latch204
l205 latch205
l206 latch206
l207 latch207
l208 latch208
l209 latch209
l210 latch210
l211 latch211
l212 latch212
l213 latch213
l214 latch214
l215 latch215
l216 latch216
l217 latch217
l218 latch218
l219 latch219
l220 latch220
l221 latch221
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 0.765325 [2015-pre-classification]
#.