back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.303317.1SATISFIABLE356 OK OK No out err perf
clasp3601.58268.3SATISFIABLE334 OK OK No out err perf
minisatplus3605.92517.5SATISFIABLE340 OK OK No out err perf
naps3606.07414.5SATISFIABLE402 OK OK No out err perf
open-wbo1.390.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu1.040.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3599.40207.3 - - OK OK No out err perf
pblib-pbo2maxsat3601.403640.8 - - OK OK No out err perf
pblib-pbsolver3601.28646.9 - 352 OK OK No out err perf
sat4j3601.97388.3 - 378 OK OK No out err perf
scipcpx3597.85319.1 - - OK OK No out err perf
scipspx3597.42309.6 - - OK OK No out err perf
toysat3602.251240.7 - 302 OK OK No out err perf