back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo1.88131.4UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.63362.5 - 7309316 OK OK No out err perf
minisatplus612.00950.9SATISFIABLE9155523 OK OK No out err perf
naps108.372458.2OPTIMUM3647451 OK OK Yes out err perf
open-wbo-lsu12.29401.6UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.701467.9 - - OK OK No out err perf
pblib-pbo2maxsat611.601067.6 - - OK OK No out err perf
sat4j84.59298.0OPTIMUM3647451 OK OK Yes out err perf
scipcpx611.692311.8 - - OK OK No out err perf
scipspx611.742424.8 - - OK OK No out err perf
toysat611.902890.6 - 57406001 OK OK No out err perf
pblib-pbsolver611.63781.5 - 44286150 OK OK No out err perf