back to the results overview

normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb [OPT-LIN-32-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.394306.2SATISFIABLE80441 OK OK No out err perf
clasp3601.44280.1SATISFIABLE76584 OK OK No out err perf
minisatplus3605.87651.0SATISFIABLE78981 OK OK No out err perf
naps3606.04614.0SATISFIABLE91022 OK OK No out err perf
open-wbo1.370.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu1.030.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3599.42284.6SATISFIABLE87737 OK OK No out err perf
pblib-pbo2maxsat3601.771092.8 - - OK OK No out err perf
pblib-pbsolver3601.6990.3 - 91433 OK OK No out err perf
sat4j3601.73290.8 - 81962 OK OK No out err perf
scipcpx3597.91251.1 - - OK OK No out err perf
scipspx3597.41244.1 - - OK OK No out err perf
toysat3602.031121.7 - 89535 OK OK No out err perf