The results of the MISC 2012 CUDF Solver Competion |
Category | aspcud-paranoid-1.7 | aspuncud-paranoid-1.7 | cudf_fumax_p-0.1 | p2cudf-paranoid-1.15 |
---|---|---|---|---|
paranoid | 104 (683.49) | 98 (542.51) | 154 (743.19) | 248 (1161.00) |
Total | 104 (683.49) | 98 (542.51) | 154 (743.19) | 248 (1161.00) |
Criterion | aspcud-paranoid-1.7 | aspuncud-paranoid-1.7 | cudf_fumax_p-0.1 | p2cudf-paranoid-1.15 |
---|---|---|---|---|
paranoid | 104 (683.49) | 98 (542.51) | 154 (743.19) | 248 (1161.00) |
Total | 104 (683.49) | 98 (542.51) | 154 (743.19) | 248 (1161.00) |
Category | aspcud-basic-1.7 | aspuncud-basic-1.7 | cudf_fumax_bu-0.1 | p2cudf-basic-1.15 |
---|---|---|---|---|
paranoid-size | 138 (8619.43) | 98 (1613.55) | 233 (7601.23) | 294 (4094.53) |
embedded | 153 (7952.31) | 95 (1853.69) | 359 (6850.86) | 280 (915.45) |
Total | 291 (16571.73) | 193 (3467.23) | 592 (14452.09) | 574 (5009.98) |
Criterion | aspcud-basic-1.7 | aspuncud-basic-1.7 | cudf_fumax_bu-0.1 | p2cudf-basic-1.15 |
---|---|---|---|---|
paranoid-size | 138 (8619.43) | 98 (1613.55) | 233 (7601.23) | 294 (4094.53) |
embedded | 153 (7952.31) | 95 (1853.69) | 359 (6850.86) | 280 (915.45) |
Total | 291 (16571.73) | 193 (3467.23) | 592 (14452.09) | 574 (5009.98) |
Category | aspcud-full-1.7 | aspuncud-full-1.7 | p2cudf-full-1.15 |
---|---|---|---|
trendy-size | 292 (32003.38) | 135 (4247.64) | 293 (8308.43) |
dist-upgrade | 130 (2912.62) | 129 (1592.38) | 500 (34449.24) |
upgrade | 131 (2935.91) | 129 (1594.91) | 497 (34396.18) |
slowlink | 239 (24293.00) | 129 (3117.77) | 264 (16364.54) |
Total | 792 (62144.90) | 522 (10552.71) | 1554 (93518.40) |
Criterion | aspcud-full-1.7 | aspuncud-full-1.7 | p2cudf-full-1.15 |
---|---|---|---|
trendy-size | 292 (32003.38) | 135 (4247.64) | 293 (8308.43) |
dist-upgrade | 130 (2912.62) | 129 (1592.38) | 500 (34449.24) |
upgrade | 131 (2935.91) | 129 (1594.91) | 497 (34396.18) |
slowlink | 239 (24293.00) | 129 (3117.77) | 264 (16364.54) |
Total | 792 (62144.90) | 522 (10552.71) | 1554 (93518.40) |
packages randomly selected to be installed, removed or upgraded were choose from cluster of packages containing more then 5 elements.
paranoid:-removed,-changed
This criterion tries to minimize the number of packages removed or changed.
paranoid-size:-count(removed),-sum(solution,installedsize),-count(changed)
This criterion tries to minimize the number of packages removed while selecting the smallest possible installation..
embedded:-sum(installedsize) :
This criterion tries to find the smallest installation while respecting the user request.
upgrade:-count(down),-notuptodate(solution),-aligned(solution,source,sourceversion),-unsat_recommends(solution),-count(new)
This criterion tries keep up-to-date all packages in the request while minimizing the changes in the system and keeping all packages belonging to the same cluster aligned.
dist-upgrade:-notuptodate(solution),-aligned(solution,source,sourceversion),-unsat_recommends(solution),-count(new)
This criterion tries to bring up to date all packages in the request while keeping all packages belonging to the same cluster aligned.
trendy-size:-count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new)
This criterion tries to find the smaller set of package with the most recent versions that can satisfy the user request.
slowlink:-sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed)
This criterion tries to find the smaller set of packages that would satisfy the user request and minimize the number of needed changes in the system.