back to the results overview

PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX15_K67_cod3.opb [OPT-LIN-32-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3601.80472.6 - -3 OK OK No out err perf
clasp2030.341818.3OPTIMUM-128 OK OK Yes out err perf
minisatplus2.2860.8 - - OK OK No out err perf
naps3605.933897.7SATISFIABLE0 OK OK No out err perf
open-wbo1.600.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.610.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex28.03162.9OPTIMUM-128 OK OK Yes out err perf
pblib-pbo2maxsat3601.61407.8 - - OK OK No out err perf
pblib-pbsolver3601.27484.4 - -34 OK OK No out err perf
sat4j3601.89554.4 - -128 OK OK No out err perf
scipcpx33.06525.6OPTIMUM-128 OK OK Yes out err perf
scipspx43.34625.3OPTIMUM-128 OK OK Yes out err perf
toysat3601.361093.7 - 0 OK OK No out err perf