CSP 2008 Competition: benchmarks results per solver

Result page for solver SAT4J CSP 2008-06-13

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

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

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

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

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

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

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

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

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

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

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

Category "global constraints" (GLOBAL)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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