PB'10 competition: WBO track: benchmarks results per solver

Result page for solver SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)

Category "both soft and hard constraints, small integers, linear constraints" (PARTIAL-SMALLINT-LIN)

Solver proved unsatisfiability (UNSATISFIABLE) (1 run) [Show/Hide]

Solver found the best solution (296 runs) [Show/Hide]

Solver timed out but found at least a solution (191 runs) [Show/Hide]

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

Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)

Solver found the best solution (113 runs) [Show/Hide]

Solver timed out but found at least a solution (76 runs) [Show/Hide]

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