back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo2.50299.3UNSATISFIABLE- Wrong OK Yes out err perf
clasp201.17714.8OPTIMUM5535017 OK OK Yes out err perf
minisatplus611.021032.6SATISFIABLE11070800 OK OK No out err perf
naps176.144041.4OPTIMUM5535017 OK OK Yes out err perf
open-wbo-lsu20.26379.3UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.421799.1 - - OK OK No out err perf
pblib-pbo2maxsat611.611215.7 - - OK OK No out err perf
sat4j611.05411.6SATISFIABLE5535017 OK OK No out err perf
scipcpx611.372999.5 - - OK OK No out err perf
scipspx611.583099.0 - - OK OK No out err perf
toysat611.325847.7 - 363739966 OK OK No out err perf
pblib-pbsolver611.281752.2 - 150943246 OK OK No out err perf