back to the results overview

ASP/ShiftDesign/limits-10-10_data-3_inst-028_60m.sm-extracted.opb [OPT-LIN-32-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo2.08132.0UNSATISFIABLE- Wrong OK Yes out err perf
clasp3601.55940.2 - 9643469 OK OK No out err perf
minisatplus1631.791286.7OPTIMUM7230223 OK OK Yes out err perf
naps266.553548.8OPTIMUM7230223 OK OK Yes out err perf
open-wbo4.81474.4UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu23.64614.9UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3599.811607.4 - - OK OK No out err perf
pblib-pbo2maxsat3602.051693.9 - - OK OK No out err perf
pblib-pbsolver2681.071060.2OPTIMUM7230223 OK OK Yes out err perf
sat4j3602.25480.0 - 7230233 OK OK No out err perf
scipcpx3601.494756.9 - - OK OK No out err perf
scipspx3602.023386.1 - - OK OK No out err perf
toysat3602.192720.7 - 85644480 OK OK No out err perf