back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
clasp3602.28434.9 - 1224626 OK OK No out err perf
minisatplus3605.821045.0 - - OK OK No out err perf
naps147.777546.8SATISFIABLE24451986 OK OK No out err perf
open-wbo12.693514.1UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu12.043595.6UNSATISFIABLE- Wrong OK Yes out err perf
pblib-pbo2maxsat3601.543761.5 - - OK OK No out err perf
pblib-pbsolver3601.46890.4 - 235955 OK OK No out err perf
sat4j3601.55371.2SATISFIABLE4941435 OK OK No out err perf
toysat2824.337542.8 - 263677 OK OK No out err perf