MAX-CSP 2008 Competition: benchmarks results per solver

Result page for solver toulbar2/BTD 2008-06-27

Category "binary constraints in extension" (2-ARY-EXT)

Solver found the best solution (411 runs) [Show/Hide]

Solver timed out (no solution given) (113 runs) [Show/Hide]

Solver didn't output a solution line and terminated with an unexpected exit code (8 runs) [Show/Hide]

Solver wrongly claimed it found the best solution (2 runs) [Show/Hide]

Category "n-ary constraints in extension" (N-ARY-EXT)

Solver found the best solution (153 runs) [Show/Hide]

Solver timed out (no solution given) (98 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (20 runs) [Show/Hide]

Solver didn't output a solution line and terminated with an unexpected exit code (7 runs) [Show/Hide]