back to the results overview

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

results for incomplete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
clasp3601.93784.0 - 2098347 OK OK No out err perf
minisatplus3605.75774.7 - 28936451 OK OK No out err perf
naps134.017511.8 - - OK OK No out err perf
open-wbo4.23938.5UNSATISFIABLE- Wrong OK Yes out err perf
open-wbo-lsu4.42946.0UNSATISFIABLE- Wrong OK Yes out err perf
pblib-pbo2maxsat3601.553438.7 - - OK OK No out err perf
pblib-pbsolver3601.28792.3 - 915704 OK OK No out err perf
sat4j3601.48316.6SATISFIABLE487658 OK OK No out err perf
toysat2854.017503.1 - 249753 OK OK No out err perf