back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
clasp3601.55744.0 - 987706 OK OK No out err perf
minisatplus3605.83738.0 - - OK OK No out err perf
naps3605.76765.1 - - OK OK No out err perf
open-wbo8.852247.8UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu8.552251.7UNSATISFIABLE- Wrong OK Yes out err perf
pblib-pbo2maxsat3601.523075.9 - - OK OK No out err perf
pblib-pbsolver1475.678034.8 - 282975 OK OK No out err perf
sat4j3601.60336.8SATISFIABLE1921441 OK OK No out err perf
toysat2279.997568.1 - 87300 OK OK No out err perf