CSP 2008 Competition: benchmarks results per solver

Result page for solver Minion/Tailor 2008-07-04

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

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

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

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

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

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

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

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

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

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

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

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

Category "global constraints" (GLOBAL)

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

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

Solver timed out (no solution given) (126 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 (206 runs) [Show/Hide]

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

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

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

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

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

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

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

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

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

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

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

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

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

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