This page presents the ranking of the different solvers. Solvers are ranked on the number of solved instances. Ties are broken by considering the minimum total solution time.
Solvers which gave a wrong answer in a category are excluded from the ranking in that category.
Rank | Solver | Version | Number of solved instances | Cumulated CPU time on solved instances | Average CPU time per solved instance |
---|---|---|---|---|---|
1 | Toolbar_BTD | 2007-01-12 | 589 | 81834.27 | 138.94 |
2 | toolbar | 2007-01-12 | 588 | 93217.84 | 158.53 |
3 | Toulbar2 | 2007-01-12 | 537 | 123966.36 | 230.85 |
4 | aolibdvo | 2007-01-17 | 466 | 119217.59 | 255.83 |
5 | aolibpvo | 2007-01-17 | 452 | 119213.19 | 263.75 |
6 | AbsconMax | 109 PFC | 437 | 190992.91 | 437.05 |
7 | AbsconMax | 109 EPFC | 418 | 195840.09 | 468.52 |
8 | CSP4J - MaxCSP | 2006-12-19 | 24 | 13.22 | 0.55 |
Rank | Solver | Version | Number of solved instances | Cumulated CPU time on solved instances | Average CPU time per solved instance |
---|---|---|---|---|---|
1 | AbsconMax | 109 EPFC | 18 | 5989.58 | 332.75 |
2 | AbsconMax | 109 PFC | 17 | 9429.61 | 554.68 |
3 | CSP4J - MaxCSP | 2006-12-19 | 0 | 0 | - |
Rank | Solver | Version | Number of solved instances | Cumulated CPU time on solved instances | Average CPU time per solved instance |
---|---|---|---|---|---|
1 | Toolbar_BTD | 2007-01-12 | 83 | 11205.62 | 135.01 |
2 | Toulbar2 | 2007-01-12 | 82 | 37763.06 | 460.53 |
3 | toolbar | 2007-01-12 | 79 | 10413.75 | 131.82 |
4 | AbsconMax | 109 PFC | 58 | 28178.94 | 485.84 |
5 | Toolbar_MaxSat | 2007-01-19 | 56 | 8899.46 | 158.92 |
6 | aolibdvo | 2007-01-17 | 54 | 31157.39 | 576.99 |
7 | AbsconMax | 109 EPFC | 54 | 32815.47 | 607.69 |
8 | CSP4J - MaxCSP | 2006-12-19 | 4 | 1.73 | 0.43 |
Rank | Solver | Version | Number of solved instances | Cumulated CPU time on solved instances | Average CPU time per solved instance |
---|---|---|---|---|---|
1 | AbsconMax | 109 EPFC | 15 | 5315.92 | 354.39 |
2 | AbsconMax | 109 PFC | 14 | 4411.38 | 315.1 |
3 | CSP4J - MaxCSP | 2006-12-19 | 0 | 0 | - |