back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo6.6429.0OPTIMUM-1135 OK OK Yes out err perf
clasp3.2521.7OPTIMUM-1135 OK OK Yes out err perf
minisatplus81.06159.4OPTIMUM-1135 OK OK Yes out err perf
naps14.74291.2OPTIMUM-1135 OK OK Yes out err perf
open-wbo1.72222.1UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu2.52213.2UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3.0557.4OPTIMUM-1135 OK OK Yes out err perf
pblib-pbo2maxsat3601.64651.8 - - OK OK No out err perf
pblib-pbsolver257.49221.3OPTIMUM-1135 OK OK Yes out err perf
sat4j5.2255.6OPTIMUM-1135 OK OK Yes out err perf
scipcpx7.01229.0OPTIMUM-1135 OK OK Yes out err perf
scipspx6.32230.2OPTIMUM-1135 OK OK Yes out err perf
toysat23.94851.1OPTIMUM-1135 OK OK Yes out err perf