back to the results overview

normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb [OPT-LIN-32-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.02456.7SATISFIABLE25 OK OK No out err perf
clasp3601.6533.0SATISFIABLE25 OK OK No out err perf
minisatplus3.2421.9OPTIMUM19 OK OK Yes out err perf
naps11.2036.2OPTIMUM19 OK OK Yes out err perf
open-wbo1.220.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu1.370.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex0.550.0OPTIMUM19 OK OK Yes out err perf
pblib-pbo2maxsat3600.016381.3 - - OK OK No out err perf
pblib-pbsolver930.8061.3OPTIMUM19 OK OK Yes out err perf
sat4j3602.22313.8 - 22 OK OK No out err perf
scipcpx1.7154.8OPTIMUM19 OK OK Yes out err perf
scipspx1.0558.8OPTIMUM19 OK OK Yes out err perf
toysat3601.861090.7 - 33 OK OK No out err perf