back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.18424.5SATISFIABLE70 OK OK No out err perf
clasp3601.4112.1SATISFIABLE64 OK OK No out err perf
minisatplus3605.81145.8SATISFIABLE66 OK OK No out err perf
naps3605.98189.5SATISFIABLE88 OK OK No out err perf
open-wbo0.440.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.120.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3599.584900.9SATISFIABLE66 OK OK No out err perf
pblib-pbo2maxsat3600.036053.2 - - OK OK No out err perf
pblib-pbsolver3601.57107.7 - 68 OK OK No out err perf
sat4j3601.76206.7 - 64 OK OK No out err perf
scipcpx3597.96303.3SATISFIABLE68 OK OK No out err perf
scipspx3597.53412.0SATISFIABLE66 OK OK No out err perf
toysat3601.971067.7 - 68 OK OK No out err perf