back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo1.59122.7UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.66386.4 - 17048906 OK OK No out err perf
minisatplus611.02804.5SATISFIABLE7356617 OK OK No out err perf
naps175.943745.4OPTIMUM7294238 OK OK Yes out err perf
open-wbo-lsu14.64285.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.121448.1 - - OK OK No out err perf
pblib-pbo2maxsat611.311094.5 - - OK OK No out err perf
sat4j611.62266.6SATISFIABLE7304367 OK OK No out err perf
scipcpx611.672334.6 - - OK OK No out err perf
scipspx611.982507.6 - - OK OK No out err perf
toysat611.772491.6 - 94020378 OK OK No out err perf
pblib-pbsolver611.68908.5 - 46856657 OK OK No out err perf