back to the results overview

PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo12.4135.4UNSATISFIABLE- Wrong OK Yes out err perf
clasp611.7061.8SATISFIABLE-9 OK OK No out err perf
minisatplus611.90288.0SATISFIABLE-8 OK OK No out err perf
naps611.55194.4SATISFIABLE-7 OK OK No out err perf
open-wbo-lsu0.920.0UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.81149.5 - - OK OK No out err perf
pblib-pbo2maxsat611.91693.4 - - OK OK No out err perf
sat4j611.59235.6 - - OK OK No out err perf
scipcpx611.34242.1 - - OK OK No out err perf
scipspx611.46287.8 - - OK OK No out err perf
toysat611.021095.6 - - OK OK No out err perf
pblib-pbsolver611.37125.1 - - OK OK No out err perf