back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo5.47349.2UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.60701.0 - 140357988 OK OK No out err perf
minisatplus611.121502.0 - - OK OK No out err perf
naps373.107738.9SATISFIABLE30055882 OK OK No out err perf
open-wbo-lsu46.231079.2UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.562743.4 - - OK OK No out err perf
pblib-pbo2maxsat611.722883.8 - - OK OK No out err perf
sat4j611.42568.4SATISFIABLE30043419 OK incompletemodel No out err perf
scipcpx611.624608.2 - - OK OK No out err perf
scipspx611.974608.2 - - OK OK No out err perf
toysat611.637484.6 - 837505988 OK OK No out err perf
pblib-pbsolver611.472752.9 - 554730529 OK OK No out err perf