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

Categoryapt-pbo-paranoid-1.0.5aspcud-paranoid-1.0inescp-1.0p2cudf-paranoid-1.6ucl-cprel-1.0uns-paranoid-0.0002
cudf_set162 (2700.00)118 (1572.82)108 (11.64)108 (15.22)108 (0.00)111 (1984.21)
debian-dudf236 (3673.76)222 (3700.45)32 (271.39)32 (180.01)216 (0.02)86 (1336.49)
difficult522 (1039.71)58 (1553.82)92 (298.99)99 (3209.55)264 (0.03)55 (34.97)
easy504 (177.10)21 (408.48)63 (122.44)63 (121.97)252 (0.06)21 (18.59)
impossible300 (3873.00)270 (4500.00)120 (1890.13)120 (1924.79)180 (0.06)15 (151.27)
Total1724 (11463.58)689 (11735.57)415 (2594.58)422 (5451.54)1020 (0.16)288 (3525.52)


Trendy Track Summary

Categoryapt-pbo-trendy-1.0.5aspcud-trendy-1.2inesct-1.0p2cudf-trendy-1.6uns-trendy-0.0002
cudf_set135 (2700.00)93 (2007.25)90 (12.38)90 (17.97)107 (2332.43)
debian-dudf211 (3743.04)189 (3881.19)194 (3711.60)39 (5151.68)74 (1782.70)
difficult415 (1959.87)70 (4439.18)101 (1681.03)98 (5223.88)49 (83.80)
easy410 (222.92)46 (1034.32)64 (317.52)61 (597.80)21 (24.85)
impossible225 (4500.00)190 (2671.69)220 (4221.98)181 (4182.90)15 (734.58)
Total1396 (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.


Detailed Results