This page summarizes the run of the 2nd MISC-live trial run of the MISC competition which was completed on 8th February 2010 14 January 2010. You may find further information about the competition on the MiSC page, and more general information about the mancoosi project on our main page.

Rules

Two fixed optimization criterias are used in the current version of the competition. Both are lexicographic combinations of four simple integer valued utility functions of a solution:

  • PARANOID: we want to answer the user request, minimizing the number of packages removed in the solution, and also the packages changed by the solution;

  • TRENDY: we want to answer the user request, minimizing the number of packages removed in the solution, minimising the number of outdated packages in the solution, and minimizing the number of extra packages installed.

The exact definitions of the criteria can be found here. Note that these are the definitions used for the first MiSC runs, later runs and the official MISC competitions may use different rules.

Solvers are classified as

  • SUCCESS a claimed solution that really is a solution
  • FAIL the solver declares that he hasn't found a solution
  • ABORT (timeout, segmentation fault, ...)
  • NOTSOL a claimed solution, which in reality is *not* a solution to the problem

More detailed information relevant for this run:

Participants

  • apt-pbo: a modified apt tool using pseudo-boolean-optimization (minisat+ or wbo)
  • inesc-udl: a SAT-based solver developed by INESC-ID using the p2cudf parser (from Eclipse) and the MaxSAT solver MSUnCore
  • p2cudf: a family of solvers on top of the Eclipse Provisioning Platform p2, based on the SAT4J library.


    See here for full description and source code.

  • unsa: a solver built using ILOG's CPLEX

Outcome

In general, lower score values indicate better results. The best participants in each category are indicated in green.

Paranoid Track Summary

Categoryapt-pbo-paranoidinesc-udl-paranoidp2cudf-p2p2cudf-paranoidp2cudf-paranoid2solver-unsa-lexparanoidsolver-unsa-paranoid
10orplus1120402351621944040
9orless1064382281531883838
caixa840430455430430430430
rand.biglist288174251191229171173
rand.newlist22371214671137070
rand.smallist186186281190226186186
Total3721939166411931380935937

Trendy Track Summary

Categoryapt-pbo-trendyinesc-udl-trendyp2cudf-p2p2cudf-trendyp2cudf-trendy2solver-unsa-lextrendysolver-unsa-trendy
10orplus11204020718118047120
9orless10643819217517147110
caixa840430456437437433433
rand.biglist315170260191221170176
rand.newlist258672141091546767
rand.smallist288186252186208186186
Total38859311581127913719501092

Detailed Results