CSP 2008 Competition: benchmarks results per solver

Result page for solver casper zao

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

Solver proved unsatisfiability (UNSATISFIABLE) (160 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (255 runs) [Show/Hide]

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

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

Solver was terminated by a signal (5 runs) [Show/Hide]

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

Solver proved unsatisfiability (UNSATISFIABLE) (157 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (175 runs) [Show/Hide]

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

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

Solver was terminated by a signal (1 run) [Show/Hide]

Solver wrongly proved unsatitisfiability (4 runs) [Show/Hide]

Category "global constraints" (GLOBAL)

Solver proved unsatisfiability (UNSATISFIABLE) (172 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (218 runs) [Show/Hide]

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

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

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

Solver proved unsatisfiability (UNSATISFIABLE) (204 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (182 runs) [Show/Hide]

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

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

Solver proved unsatisfiability (UNSATISFIABLE) (99 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (463 runs) [Show/Hide]

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

Solver was terminated by a signal (6 runs) [Show/Hide]