. MISC Scores 2010
This page summarizes the results of the run of the MISC 2010 Solver Competition that was completed on 9th of July 2010. In general, 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.5 | aspcud-paranoid-1.0 | inescp-1.0 | p2cudf-paranoid-1.6 | ucl-cprel-1.0 | uns-paranoid-0.0002 |
|---|---|---|---|---|---|---|
| cudf_set | 162 (2700.00) | 118 (1572.82) | 108 (11.64) | 108 (15.22) | 108 (0.00) | 111 (1984.21) |
| debian-dudf | 236 (3673.76) | 222 (3700.45) | 32 (271.39) | 32 (180.01) | 216 (0.02) | 86 (1336.49) |
| difficult | 522 (1039.71) | 58 (1553.82) | 92 (298.99) | 99 (3209.55) | 264 (0.03) | 55 (34.97) |
| easy | 504 (177.10) | 21 (408.48) | 63 (122.44) | 63 (121.97) | 252 (0.06) | 21 (18.59) |
| impossible | 300 (3873.00) | 270 (4500.00) | 120 (1890.13) | 120 (1924.79) | 180 (0.06) | 15 (151.27) | Total | 1724 (11463.58) | 689 (11735.57) | 415 (2594.58) | 422 (5451.54) | 1020 (0.16) | 288 (3525.52) |
Trendy Track Summary
| Category | apt-pbo-trendy-1.0.5 | aspcud-trendy-1.2 | inesct-1.0 | p2cudf-trendy-1.6 | uns-trendy-0.0002 |
|---|---|---|---|---|---|
| cudf_set | 135 (2700.00) | 93 (2007.25) | 90 (12.38) | 90 (17.97) | 107 (2332.43) |
| debian-dudf | 211 (3743.04) | 189 (3881.19) | 194 (3711.60) | 39 (5151.68) | 74 (1782.70) |
| difficult | 415 (1959.87) | 70 (4439.18) | 101 (1681.03) | 98 (5223.88) | 49 (83.80) |
| easy | 410 (222.92) | 46 (1034.32) | 64 (317.52) | 61 (597.80) | 21 (24.85) |
| impossible | 225 (4500.00) | 190 (2671.69) | 220 (4221.98) | 181 (4182.90) | 15 (734.58) | Total | 1396 (13125.83) | 588 (14033.63) | 669 (9944.52) | 469 (15174.24) | 266 (4958.36) |
Problem Sets Details
- cudf_set : Encoding in cudf of 1-in-3-SAT
- debian-dudf : Real installation problems, Problems collected via dudf-save.
- easy : Debian unstable / desktop installation from unstable / 10 install - 10 remove
- difficult : Debian stable + unstable / server installation from stable / 10 install - 10 remove - 1 upgrade all
- impossible : Debian oldstable, stable, testing, unstable / server installation from oldstable / 10 install - 10 remove - 1 upgrade all
All random problems were generated using randcudf available in the dose3 framework on the mancoosi svn.