CSP 2009 Competition: benchmarks results per solver

Result page for solver Sugar v1.14.6+minisat (complete)

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

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

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

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

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

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

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

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

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

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

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

Category "alldiff" (Alldiff)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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