back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo4.73446.4UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.73809.6 - 66585536 OK OK No out err perf
minisatplus611.111429.2 - - OK OK No out err perf
naps416.316809.4OPTIMUM19018991 OK OK Yes out err perf
open-wbo-lsu43.12987.3UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.843018.1 - - OK OK No out err perf
pblib-pbo2maxsat611.422717.0 - - OK OK No out err perf
sat4j611.03485.1SATISFIABLE19018991 OK OK No out err perf
scipcpx443.735301.7 - - OK OK No out err perf
scipspx611.564048.4 - - OK OK No out err perf
toysat611.366545.7 - 708683770 OK OK No out err perf
pblib-pbsolver611.622910.9 - 507941735 OK OK No out err perf