This page summarizes the results of the run of the MISC Live Solver
Competition that was completed on 11 th of March 2011. Lower score values
indicate better results. The best participants in each category are indicated
in green. The exact rules are here.
Paranoid Track Summary
|
Category | apt-pbo-paranoid-1.0.8 | aspcud-paranoid-1.4 | p2cudf-paranoid-1.12 | uns-paranoid-0.0004 |
caixa | 2720 (102000.00) | 2118 (76325.75) | 2118 (76639.60) | 2125 (76645.17) |
debian | 212 (7603.30) | 27 (152.63) | 27 (156.89) | 27 (341.68) |
heavy | 164 (5787.47) | 21 (34.54) | 21 (107.01) | 21 (61.64) |
Total | 3096 (115390.77) | 2166 (76512.92) | 2166 (76903.50) | 2173 (77048.49) |
Trendy Track Summary
|
Category | apt-pbo-trendy-1.0.8 | aspcud-trendy-1.4 | p2cudf-trendy-1.12 | uns-trendy-0.0004 |
caixa | 2720 (102000.00) | 2118 (76322.82) | 2120 (76712.21) | 2158 (77561.17) |
debian | 212 (7603.33) | 31 (838.44) | 27 (1512.15) | 37 (674.95) |
heavy | 162 (5788.74) | 21 (168.03) | 21 (486.25) | 168 (6300.00) |
Total | 3094 (115392.07) | 2170 (77329.29) | 2168 (78710.61) | 2363 (84536.13) |
-notuptodate,-removed,-changed User Track Summary
|
Category | aspcud-1.4 | p2cudf-user-1.12 | uns-user-0.0004 |
upgrades | 120 (5710.50) | 120 (5731.37) | 120 (5712.95) |
Total | 120 (5710.50) | 120 (5731.37) | 120 (5712.95) |
Problem Sets Details
- caixa problem set are install / remove cudf documents from caixa magica
- debian problem set are install / remove cudf document from debian users
- upgrades problem set are upgrade problems from caixa magica and debian
- heavy are synthetic problems generated from a debian lenny base distribution,
using 20 keep, an inconsistent status and with a request of 5 to remove,
10 to install and 5 to upgrade.
All random problems were generated using randcudf available in the dose3 framework on the mancoosi svn.
Detailed Results