CSP 2006 Competition (second round): benchmarks results per solver

Result page for solver BPrologCSPSolver70a 2006-12-13

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

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

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

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

Conversion script failed (20 runs) [Show/Hide]

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

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

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

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

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

Conversion script failed (4 runs) [Show/Hide]

Category "global constraints" (GLOBAL)

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

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

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

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

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

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

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

Conversion script failed (10 runs) [Show/Hide]

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

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

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

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

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

Conversion script failed (15 runs) [Show/Hide]

No recognized solution line (1 run) [Show/Hide]