CSP 2009 Competition: benchmarks results per solver

Result page for solver Choco2.1.1 2009-06-10 (complete)

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

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

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

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

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

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

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

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

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

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

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

Category "alldiff" (Alldiff)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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