back to the results overview

normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo24.68326.2UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.7240.2SATISFIABLE69 OK OK No out err perf
minisatplus611.64338.4 - - OK OK No out err perf
naps611.09555.4 - - OK OK No out err perf
open-wbo-lsu148.137503.5 - - OK OK No out err perf
pbcplex587.8495.5OPTIMUM65 OK OK Yes out err perf
pblib-pbo2maxsat611.93447.4 - - OK OK No out err perf
sat4j611.22133.5 - - OK OK No out err perf
scipcpx611.30879.0SATISFIABLE66 OK OK No out err perf
scipspx611.76464.4SATISFIABLE67 OK OK No out err perf
toysat611.811107.6 - 521571 OK OK No out err perf
pblib-pbsolver611.09384.1 - - OK OK No out err perf