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

Result page for solver wbo2sat 2012-05-19 (complete)

Category "both soft and hard constraints, big integers, linear constraints" (PARTIAL-BIGINT-LIN)

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

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

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

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

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

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

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

Category "only soft constraints, big integers, linear constraints" (SOFT-BIGINT-LIN)

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

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

Solver wrongly claimed it found the best solution (1 run) [Show/Hide]

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

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

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