back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.06217.2 - -32 OK OK No out err perf
clasp3158.691638.6OPTIMUM-296 OK OK Yes out err perf
minisatplus3605.251139.5SATISFIABLE-274 OK OK No out err perf
naps795.657502.3SATISFIABLE-256 OK OK No out err perf
open-wbo1.850.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.850.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex39.41154.6OPTIMUM-296 OK OK Yes out err perf
pblib-pbo2maxsat3601.823758.6 - - OK OK No out err perf
pblib-pbsolver3602.08622.0 - -64 OK OK No out err perf
sat4j3602.34371.9SATISFIABLE-256 OK OK No out err perf
scipcpx85.09631.7OPTIMUM-296 OK OK Yes out err perf
scipspx119.19591.4OPTIMUM-296 OK OK Yes out err perf
toysat3601.821093.7 - 0 OK OK No out err perf