back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo14.6385.4UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.0779.5SATISFIABLE3637 OK OK No out err perf
minisatplus611.42420.3 - - OK OK No out err perf
naps611.011097.5 - - OK OK No out err perf
open-wbo-lsu54.437548.5 - - OK OK No out err perf
pbcplex611.29343.3 - - OK OK No out err perf
pblib-pbo2maxsat611.605777.3 - - OK OK No out err perf
sat4j611.82293.4SATISFIABLE3303 OK OK No out err perf
scipcpx611.57233.9 - - OK OK No out err perf
scipspx611.09157.9 - - OK OK No out err perf
toysat611.241048.6 - - OK OK No out err perf
pblib-pbsolver611.034737.7 - - OK OK No out err perf