back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo4.31577.6UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.621003.6 - 33568998 OK OK No out err perf
minisatplus611.101344.2 - - OK OK No out err perf
naps399.207540.2SATISFIABLE16928891 OK OK No out err perf
open-wbo-lsu106.391025.2UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.922428.4 - - OK OK No out err perf
pblib-pbo2maxsat611.642574.4 - - OK OK No out err perf
sat4j611.27534.4SATISFIABLE16834012 OK OK No out err perf
scipcpx611.705893.5 - - OK OK No out err perf
scipspx612.036221.8 - - OK OK No out err perf
toysat611.255576.7 - 685124387 OK OK No out err perf
pblib-pbsolver611.322553.1 - 388961014 OK OK No out err perf