back to the results overview

normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb [OPT-LIN-32-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo0.780.0 - - OK OK No out err perf
clasp677.794.8OPTIMUM1523 OK OK Yes out err perf
minisatplus442.1459.0OPTIMUM1523 OK OK Yes out err perf
naps296.82150.9OPTIMUM1523 OK OK Yes out err perf
open-wbo1.200.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu1.190.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex0.680.0OPTIMUM1523 OK OK Yes out err perf
pblib-pbo2maxsat3599.59942.8 - - OK OK No out err perf
pblib-pbsolver3601.9761.0 - 1547 OK OK No out err perf
sat4j2750.65186.6OPTIMUM1523 OK OK Yes out err perf
scipcpx1.1024.5OPTIMUM1523 OK OK Yes out err perf
scipspx2.1627.3OPTIMUM1523 OK OK Yes out err perf
toysat3601.891047.4 - 1523 OK OK No out err perf