back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3601.76292.1 - - OK OK No out err perf
clasp3601.872416.6 - -2 OK OK No out err perf
minisatplus3605.712715.2SATISFIABLE-4 OK OK No out err perf
naps3605.472605.7SATISFIABLE-1 OK OK No out err perf
open-wbo646.00228.5UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu717.76191.9UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex25.8899.3OPTIMUM-5 OK OK Yes out err perf
pblib-pbo2maxsat3601.813746.7 - - OK OK No out err perf
pblib-pbsolver3602.14657.0 - -1 OK OK No out err perf
sat4j3602.10398.9 - - OK OK No out err perf
scipcpx56.56540.3OPTIMUM-5 OK OK Yes out err perf
scipspx242.30612.3OPTIMUM-5 OK OK Yes out err perf
toysat3602.241133.7 - 0 OK OK No out err perf