CSP 2009 Competition: benchmarks results per solver

Result page for solver Mistral 1.545 (complete)

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

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

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

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

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

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

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

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

Category "alldiff" (Alldiff)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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