The results of the MISC 2012 CUDF Solver Competion

  • Track: paranoid

    Categoryaspcud-paranoid-1.7aspuncud-paranoid-1.7cudf_fumax_p-0.1p2cudf-paranoid-1.15
    paranoid 104 (683.49) 98 (542.51) 154 (743.19) 248 (1161.00)
    Total104 (683.49)98 (542.51)154 (743.19)248 (1161.00)
    Criterionaspcud-paranoid-1.7aspuncud-paranoid-1.7cudf_fumax_p-0.1p2cudf-paranoid-1.15
    paranoid 104 (683.49) 98 (542.51) 154 (743.19) 248 (1161.00)
    Total104 (683.49)98 (542.51)154 (743.19)248 (1161.00)
    Paranoid Track (details)
  • Track: basic

    Categoryaspcud-basic-1.7aspuncud-basic-1.7cudf_fumax_bu-0.1p2cudf-basic-1.15
    paranoid-size 138 (8619.43) 98 (1613.55) 233 (7601.23) 294 (4094.53)
    embedded 153 (7952.31) 95 (1853.69) 359 (6850.86) 280 (915.45)
    Total291 (16571.73)193 (3467.23)592 (14452.09)574 (5009.98)
    Criterionaspcud-basic-1.7aspuncud-basic-1.7cudf_fumax_bu-0.1p2cudf-basic-1.15
    paranoid-size 138 (8619.43) 98 (1613.55) 233 (7601.23) 294 (4094.53)
    embedded 153 (7952.31) 95 (1853.69) 359 (6850.86) 280 (915.45)
    Total291 (16571.73)193 (3467.23)592 (14452.09)574 (5009.98)
    Basic User Track (details)
  • Track: full

    Categoryaspcud-full-1.7aspuncud-full-1.7p2cudf-full-1.15
    trendy-size 292 (32003.38) 135 (4247.64) 293 (8308.43)
    dist-upgrade 130 (2912.62) 129 (1592.38) 500 (34449.24)
    upgrade 131 (2935.91) 129 (1594.91) 497 (34396.18)
    slowlink 239 (24293.00) 129 (3117.77) 264 (16364.54)
    Total792 (62144.90)522 (10552.71)1554 (93518.40)
    Criterionaspcud-full-1.7aspuncud-full-1.7p2cudf-full-1.15
    trendy-size 292 (32003.38) 135 (4247.64) 293 (8308.43)
    dist-upgrade 130 (2912.62) 129 (1592.38) 500 (34449.24)
    upgrade 131 (2935.91) 129 (1594.91) 497 (34396.18)
    slowlink 239 (24293.00) 129 (3117.77) 264 (16364.54)
    Total792 (62144.90)522 (10552.71)1554 (93518.40)
    Full User Track (details)


Categories

  • real : 20 cudf generated from the mancoosi dudf database. These are real user request submitted in the last two years by debian users.
  • install : 20 randomly generated install / remove requests using 5 debian baselines as package universe
  • upgrade/easy : 20 randomly generated upgrade requests using 3 debian baselines as package universe
  • upgrade/difficult : 20 randomly generated upgrade requests using 5 debian baselines as package universe

packages randomly selected to be installed, removed or upgraded were choose from cluster of packages containing more then 5 elements.

Criteria

Track Paranoid

  • paranoid:-removed,-changed

    This criterion tries to minimize the number of packages removed or changed.

Track Basic

  • paranoid-size:-count(removed),-sum(solution,installedsize),-count(changed)

    This criterion tries to minimize the number of packages removed while selecting the smallest possible installation..

  • embedded:-sum(installedsize) :

    This criterion tries to find the smallest installation while respecting the user request.

Track Full

  • upgrade:-count(down),-notuptodate(solution),-aligned(solution,source,sourceversion),-unsat_recommends(solution),-count(new)

    This criterion tries keep up-to-date all packages in the request while minimizing the changes in the system and keeping all packages belonging to the same cluster aligned.

  • dist-upgrade:-notuptodate(solution),-aligned(solution,source,sourceversion),-unsat_recommends(solution),-count(new)

    This criterion tries to bring up to date all packages in the request while keeping all packages belonging to the same cluster aligned.

  • trendy-size:-count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new)

    This criterion tries to find the smaller set of package with the most recent versions that can satisfy the user request.

  • slowlink:-sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed)

    This criterion tries to find the smaller set of packages that would satisfy the user request and minimize the number of needed changes in the system.