back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3.51449.8UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.71533.0 - 46474540 OK OK No out err perf
minisatplus611.061068.0 - - OK OK No out err perf
naps553.727053.6OPTIMUM15472403 OK OK Yes out err perf
open-wbo-lsu30.18808.8UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.982343.0 - - OK OK No out err perf
pblib-pbo2maxsat611.671955.8 - - OK OK No out err perf
sat4j611.17529.4SATISFIABLE23214590 OK OK No out err perf
scipcpx611.514624.8 - - OK OK No out err perf
scipspx611.804837.4 - - OK OK No out err perf
toysat611.866801.6 - 492600501 OK OK No out err perf
pblib-pbsolver612.002201.2 - 288551927 OK OK No out err perf