back to the results overview

ASP/ShiftDesign/limits-10-10_data-1_inst-122_30m.sm-extracted.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo5.03508.3UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.43985.9 - 31606159 OK OK No out err perf
minisatplus611.111451.8 - - OK OK No out err perf
naps490.937553.1SATISFIABLE15802535 OK OK No out err perf
open-wbo-lsu42.51871.6UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.502611.0 - - OK OK No out err perf
pblib-pbo2maxsat611.262808.1 - - OK OK No out err perf
sat4j611.28511.0SATISFIABLE23704094 OK OK No out err perf
scipcpx611.474451.2 - - OK OK No out err perf
scipspx611.734449.7 - - OK OK No out err perf
toysat611.097300.6 - 589816601 OK OK No out err perf
pblib-pbsolver611.322452.5 - 405627933 OK OK No out err perf