back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3.09241.0UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.93597.8 - 42504851 OK OK No out err perf
minisatplus611.061042.0 - - OK OK No out err perf
naps442.056102.2OPTIMUM16991808 OK OK Yes out err perf
open-wbo-lsu31.17541.3UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.342196.5 - - OK OK No out err perf
pblib-pbo2maxsat611.161837.7 - - OK OK No out err perf
sat4j611.18554.6SATISFIABLE16991980 OK OK No out err perf
scipcpx612.043863.6 - - OK OK No out err perf
scipspx612.353973.1 - - OK OK No out err perf
toysat611.226615.6 - 685712447 OK OK No out err perf
pblib-pbsolver611.102270.4 - 325493482 OK OK No out err perf