back to the results overview

normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo44.7582.7OPTIMUM43 Wrong OK Yes out err perf
clasp611.0418.7SATISFIABLE21 OK OK No out err perf
minisatplus539.45205.7OPTIMUM20 OK OK Yes out err perf
naps86.7392.1OPTIMUM20 OK OK Yes out err perf
open-wbo-lsu192.597529.0 - - OK OK No out err perf
pbcplex234.6694.0OPTIMUM20 OK OK Yes out err perf
pblib-pbo2maxsat285.38588.9OPTIMUM20 OK OK Yes out err perf
sat4j611.54112.2SATISFIABLE21 OK OK No out err perf
scipcpx611.53286.2 - - OK OK No out err perf
scipspx611.36229.1SATISFIABLE24 OK OK No out err perf
toysat33.671079.6OPTIMUM20 OK OK Yes out err perf
pblib-pbsolver611.15246.2 - 44 OK OK No out err perf