back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo1.120.0UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.47359.1 - 4063980 OK OK No out err perf
minisatplus611.97632.9SATISFIABLE4077478 OK OK No out err perf
naps143.622605.2OPTIMUM4063980 OK OK Yes out err perf
open-wbo-lsu21.03231.4UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.65811.0 - - OK OK No out err perf
pblib-pbo2maxsat611.58588.1 - - OK OK No out err perf
sat4j337.90185.5OPTIMUM4063980 OK OK Yes out err perf
scipcpx611.282374.2 - 26428366 OK OK No out err perf
scipspx611.542331.9 - 26428331 OK OK No out err perf
toysat611.872794.7 - 24387949 OK OK No out err perf
pblib-pbsolver611.62606.2 - 30757736 OK OK No out err perf