back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.07338.2 - -32 OK OK No out err perf
clasp3549.221922.2OPTIMUM-234 OK OK Yes out err perf
minisatplus3605.471195.8SATISFIABLE-138 OK OK No out err perf
naps3606.025431.7SATISFIABLE-1 OK OK No out err perf
open-wbo4.38111.4UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu4.41110.3UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex38.24155.8OPTIMUM-234 OK OK Yes out err perf
pblib-pbo2maxsat3601.783545.6 - - OK OK No out err perf
pblib-pbsolver3602.171083.1 - -128 OK OK No out err perf
sat4j3263.721205.9 - -234 OK OK No out err perf
scipcpx71.59567.4OPTIMUM-234 OK OK Yes out err perf
scipspx61.33632.1OPTIMUM-234 OK OK Yes out err perf
toysat3602.271125.7 - 0 OK OK No out err perf