back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo0.810.0 - - OK OK No out err perf
clasp5.961.8OPTIMUM1120 OK OK Yes out err perf
minisatplus30.3634.5OPTIMUM1120 OK OK Yes out err perf
naps57.7565.1OPTIMUM1120 OK OK Yes out err perf
open-wbo1.53183.9OPTIMUM2407 Wrong OK Yes out err perf
open-wbo-lsu11.231660.0OPTIMUM2407 Wrong OK Yes out err perf
pbcplex0.710.0OPTIMUM1120 OK OK Yes out err perf
pblib-pbo2maxsat3599.901477.7 - - OK OK No out err perf
pblib-pbsolver638.4543.9OPTIMUM1120 OK OK Yes out err perf
sat4j46.5358.8OPTIMUM1120 OK OK Yes out err perf
scipcpx0.640.0OPTIMUM1120 OK OK Yes out err perf
scipspx0.790.0OPTIMUM1120 OK OK Yes out err perf
toysat118.711044.3OPTIMUM1120 OK OK Yes out err perf