back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3601.77305.0 - - OK OK No out err perf
clasp3602.161191.9 - -101 OK OK No out err perf
minisatplus3605.891994.8SATISFIABLE-281 OK OK No out err perf
naps3605.514560.8SATISFIABLE0 OK OK No out err perf
open-wbo49.60170.4UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu41.76191.5UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3600.33365.1SATISFIABLE-424 OK OK No out err perf
pblib-pbo2maxsat103.817551.1 - - OK OK No out err perf
pblib-pbsolver3601.53895.2 - -2 OK OK No out err perf
sat4j3601.96359.1 - - OK OK No out err perf
scipcpx3601.661318.3SATISFIABLE-424 OK OK No out err perf
scipspx3601.24968.6SATISFIABLE-424 OK OK No out err perf
toysat3601.471093.7 - 0 OK OK No out err perf