CSP 2009 Competition: benchmarks results per solver

Result page for solver Choco2.1.1b 2009-07-16 (complete)

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

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

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

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

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

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

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

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

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

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

Category "alldiff" (Alldiff)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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