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

Categoryapt-pbo-paranoid-1.0.8aspcud-paranoid-1.4p2cudf-paranoid-1.12uns-paranoid-0.0004
caixa2720 (102000.00)2118 (76325.75)2118 (76639.60)2125 (76645.17)
debian212 (7603.30)27 (152.63)27 (156.89)27 (341.68)
heavy164 (5787.47)21 (34.54)21 (107.01)21 (61.64)
Total3096 (115390.77)2166 (76512.92)2166 (76903.50)2173 (77048.49)


Trendy Track Summary

Categoryapt-pbo-trendy-1.0.8aspcud-trendy-1.4p2cudf-trendy-1.12uns-trendy-0.0004
caixa2720 (102000.00)2118 (76322.82)2120 (76712.21)2158 (77561.17)
debian212 (7603.33)31 (838.44)27 (1512.15)37 (674.95)
heavy162 (5788.74)21 (168.03)21 (486.25)168 (6300.00)
Total3094 (115392.07)2170 (77329.29)2168 (78710.61)2363 (84536.13)


-notuptodate,-removed,-changed User Track Summary

Categoryaspcud-1.4p2cudf-user-1.12uns-user-0.0004
upgrades120 (5710.50)120 (5731.37)120 (5712.95)
Total120 (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