back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.18373.7SATISFIABLE25048 OK OK No out err perf
clasp3601.4112.8SATISFIABLE24269 OK OK No out err perf
minisatplus3605.85218.2SATISFIABLE24836 OK OK No out err perf
naps3605.98212.8SATISFIABLE34145 OK OK No out err perf
open-wbo0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.120.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3599.512760.3SATISFIABLE24773 OK OK No out err perf
pblib-pbo2maxsat3599.854630.7 - - OK OK No out err perf
pblib-pbsolver3601.258.2 - 34707 OK OK No out err perf
sat4j3601.68219.1 - 25108 OK OK No out err perf
scipcpx3597.86274.9SATISFIABLE24514 OK OK No out err perf
scipspx3597.48324.6SATISFIABLE24800 OK OK No out err perf
toysat3601.811075.7 - 24907 OK OK No out err perf