back to the results overview

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

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo49.3834.8OPTIMUM17172 Wrong OK Yes out err perf
clasp515.3214.3OPTIMUM4372 OK OK Yes out err perf
minisatplus611.42303.9SATISFIABLE195272 OK OK No out err perf
naps611.031688.7SATISFIABLE4431 OK OK No out err perf
open-wbo-lsu88.027566.8 - - OK OK No out err perf
pbcplex0.690.0OPTIMUM4372 OK OK Yes out err perf
pblib-pbo2maxsat611.61473.8 - - OK OK No out err perf
sat4j611.7674.4SATISFIABLE7552 OK OK No out err perf
scipcpx13.71111.8OPTIMUM4372 OK OK Yes out err perf
scipspx31.00104.2OPTIMUM4372 OK OK Yes out err perf
toysat611.041065.6 - 4510 OK OK No out err perf
pblib-pbsolver611.03679.0 - 7760 OK OK No out err perf