back to the results overview

ASP/ShiftDesign/limits-10-10_data-3_inst-028_60m.sm-extracted.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo2.25128.9UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.69391.9 - 24183251 OK OK No out err perf
minisatplus611.031009.9SATISFIABLE38667330 OK OK No out err perf
naps270.423548.9OPTIMUM7230223 OK OK Yes out err perf
open-wbo-lsu21.40447.4UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.391607.4 - - OK OK No out err perf
pblib-pbo2maxsat611.631484.0 - - OK OK No out err perf
sat4j611.08346.6SATISFIABLE7230233 OK OK No out err perf
scipcpx611.423252.9 - - OK OK No out err perf
scipspx611.723377.7 - - OK OK No out err perf
toysat611.352765.7 - 90544670 OK OK No out err perf
pblib-pbsolver611.091055.0 - 60972770 OK OK No out err perf