back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo3602.211553.5SATISFIABLE47641 OK OK No out err perf
clasp3601.41125.7SATISFIABLE45399 OK OK No out err perf
minisatplus3605.85419.6SATISFIABLE47019 OK OK No out err perf
naps3606.01351.7SATISFIABLE57240 OK OK No out err perf
open-wbo0.580.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.320.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex3599.35506.8SATISFIABLE46728 OK OK No out err perf
pblib-pbo2maxsat3599.94682.6 - - OK OK No out err perf
pblib-pbsolver3601.2231.3 - 54168 OK OK No out err perf
sat4j3601.74232.1 - 50012 OK OK No out err perf
scipcpx3597.77208.3SATISFIABLE53940 OK OK No out err perf
scipspx3597.34213.9SATISFIABLE51509 OK OK No out err perf
toysat3601.781147.7 - 45450 OK OK No out err perf