back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo1.360.0OPTIMUM8276 OK OK Yes out err perf
clasp0.310.0OPTIMUM8276 OK OK Yes out err perf
minisatplus1.410.0OPTIMUM8276 OK OK Yes out err perf
naps2.2417.4OPTIMUM8276 OK OK Yes out err perf
open-wbo0.420.0UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu0.070.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex0.840.0OPTIMUM8276 OK OK Yes out err perf
pblib-pbo2maxsat3599.654958.6 - - OK OK No out err perf
pblib-pbsolver76.963.6OPTIMUM8276 OK OK Yes out err perf
sat4j2.1827.7OPTIMUM8276 OK OK Yes out err perf
scipcpx2.3229.0OPTIMUM8276 OK OK Yes out err perf
scipspx1.9831.8OPTIMUM8276 OK OK Yes out err perf
toysat3.38968.1OPTIMUM8276 OK OK Yes out err perf