back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo5.3932.7OPTIMUM-3719 OK OK Yes out err perf
clasp2.8322.3OPTIMUM-3719 OK OK Yes out err perf
minisatplus107.86232.3OPTIMUM-3719 OK OK Yes out err perf
naps20.99415.8OPTIMUM-3719 OK OK Yes out err perf
open-wbo2.85209.1UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu2.87207.6UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3.3111.9OPTIMUM-3719 OK OK Yes out err perf
pblib-pbo2maxsat3601.65879.7 - - OK OK No out err perf
pblib-pbsolver218.98263.1OPTIMUM-3719 OK OK Yes out err perf
sat4j4.6659.3OPTIMUM-3719 OK OK Yes out err perf
scipcpx4.34212.8OPTIMUM-3719 OK OK Yes out err perf
scipspx3.96211.2OPTIMUM-3719 OK OK Yes out err perf
toysat17.20732.4OPTIMUM-3719 OK OK Yes out err perf