back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3.08237.9UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.73704.7 - 23562281 OK OK No out err perf
minisatplus611.071062.1 - - OK OK No out err perf
naps460.424553.4OPTIMUM9545808 OK OK Yes out err perf
open-wbo-lsu69.10872.9UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.422089.3 - - OK OK No out err perf
pblib-pbo2maxsat611.382022.7 - - OK OK No out err perf
sat4j505.781182.8SATISFIABLE9683650 OK incompletemodel No out err perf
scipcpx612.174050.9 - - OK OK No out err perf
scipspx612.024287.3 - - OK OK No out err perf
toysat611.413946.7 - 87904451 OK OK No out err perf
pblib-pbsolver611.441311.6 - 56612267 OK OK No out err perf