back to the results overview

normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__8.opb [OPT-LIN-64-PB] [complete]

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
clasp3602.01525.3 - 431235 OK OK No out err perf
minisatplus3605.81535.8 - - OK OK No out err perf
naps3605.74579.0 - - OK OK No out err perf
open-wbo3.971032.9UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu3.791017.0UNSATISFIABLE- Wrong OK Yes out err perf
pblib-pbo2maxsat3601.512646.6 - - OK OK No out err perf
pblib-pbsolver681.567502.8 - 687501 OK OK No out err perf
sat4j3601.57254.1SATISFIABLE679271 OK OK No out err perf
toysat3601.735997.7 - 263677 OK OK No out err perf