SAT 2011 Competition: plain MUS track: benchmarks results per solver

Result page for solver OptimuS x100_source (complete)

Category "MUS" (MUS)

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

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (80 runs) [Show/Hide]