MAX-CSP 2008 Competition: benchmarks results per solver

Result page for solver Sugar v1.13+minisat

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

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

Solver timed out but found at least a solution (209 runs) [Show/Hide]

Solver exceeded the memory limit but found at least a solution (7 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (31 runs) [Show/Hide]

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

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

Category "binary constraints in intension" (2-ARY-INT)

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

Solver timed out but found at least a solution (69 runs) [Show/Hide]

Solver exceeded the memory limit but found at least a solution (2 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (67 runs) [Show/Hide]

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

Category "global constraints" (GLOBAL)

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

Solver timed out but found at least a solution (21 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (10 runs) [Show/Hide]

Solver timed out (no solution given) (1 run) [Show/Hide]

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]

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

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

Solver timed out but found at least a solution (72 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (45 runs) [Show/Hide]

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

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

Category "n-ary constraints in intension" (N-ARY-INT)

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

Solver timed out but found at least a solution (29 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (32 runs) [Show/Hide]

Solver timed out (no solution given) (1 run) [Show/Hide]

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