back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.05864.6 - -9720 OK OK No out err perf
clasp29.7724.7OPTIMUM-10270 OK OK Yes out err perf
minisatplus356.63314.2OPTIMUM-10270 OK OK Yes out err perf
naps350.67844.9OPTIMUM-10270 OK OK Yes out err perf
open-wbo3.10461.1UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu3.41450.9UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex12.7069.1OPTIMUM-10270 OK OK Yes out err perf
pblib-pbo2maxsat3601.681230.9 - - OK OK No out err perf
pblib-pbsolver3601.22564.8 - -10245 OK OK No out err perf
sat4j299.43102.2OPTIMUM-10270 OK OK Yes out err perf
scipcpx105.97236.9OPTIMUM-10270 OK OK Yes out err perf
scipspx3131.73424.1OPTIMUM-10270 OK OK Yes out err perf
toysat31.321060.7OPTIMUM-10270 OK OK Yes out err perf