CSP 2009 Competition: benchmarks results per solver

Result page for solver bpsolver 09 (complete)

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

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

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

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

No recognized solution line (20 runs) [Show/Hide]

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

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

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

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

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

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

No recognized solution line (27 runs) [Show/Hide]

Category "alldiff" (Alldiff)

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

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

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

Category "alldiff,cumulative,element,weightedsum" (Alldiff+Cumul+Elt+WSum)

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

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

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

Category "alldiff,element,weightedsum" (Alldiff+Elt+WSum)

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

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

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

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

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

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

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

No recognized solution line (50 runs) [Show/Hide]

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

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

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

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

No recognized solution line (6 runs) [Show/Hide]

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