back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3.24452.4UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.72601.2 - 24248579 OK OK No out err perf
minisatplus611.071070.1 - - OK OK No out err perf
naps573.075187.0OPTIMUM16165148 OK OK Yes out err perf
open-wbo-lsu33.53776.8UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.161990.3 - - OK OK No out err perf
pblib-pbo2maxsat611.381904.2 - - OK OK No out err perf
sat4j611.78400.2SATISFIABLE16204046 OK OK No out err perf
scipcpx611.544302.5 - - OK OK No out err perf
scipspx611.363109.2 - - OK OK No out err perf
toysat611.605747.6 - 652207150 OK OK No out err perf
pblib-pbsolver611.382162.3 - 431536840 OK OK No out err perf