back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo67.65205.1UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.6659.9SATISFIABLE1866 OK OK No out err perf
minisatplus611.56471.4 - - OK OK No out err perf
naps611.05363.9 - - OK OK No out err perf
open-wbo-lsu51.587649.7 - - OK OK No out err perf
pbcplex611.93864.1 - - OK OK No out err perf
pblib-pbo2maxsat613.98555.5 - - OK OK No out err perf
sat4j611.93326.6SATISFIABLE2858 OK OK No out err perf
scipcpx611.07286.7SATISFIABLE2364 OK OK No out err perf
scipspx611.61186.1 - - OK OK No out err perf
toysat611.441047.6 - - OK OK No out err perf
pblib-pbsolver611.61260.3 - - OK OK No out err perf