back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.302428.5SATISFIABLE174 OK OK No out err perf
clasp3601.42119.1SATISFIABLE160 OK OK No out err perf
minisatplus3605.86383.2SATISFIABLE162 OK OK No out err perf
naps3606.01216.2SATISFIABLE214 OK OK No out err perf
open-wbo0.620.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.320.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3599.36523.1SATISFIABLE172 OK OK No out err perf
pblib-pbo2maxsat1878.897501.1 - - OK OK No out err perf
pblib-pbsolver3601.45297.7 - 172 OK OK No out err perf
sat4j3601.75244.9 - 154 OK OK No out err perf
scipcpx3597.80160.4 - - OK OK No out err perf
scipspx3597.36175.5 - - OK OK No out err perf
toysat3601.931119.7 - 152 OK OK No out err perf