back to the results overview

PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_9.std.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo611.68419.3SATISFIABLE165 OK OK No out err perf
clasp611.6581.4SATISFIABLE159 OK OK No out err perf
minisatplus611.55529.0SATISFIABLE196 OK OK No out err perf
naps611.64790.9SATISFIABLE300 OK OK No out err perf
open-wbo-lsu611.85418.4SATISFIABLE163 OK OK No out err perf
pbcplex611.46439.1 - - OK OK No out err perf
pblib-pbo2maxsat611.161046.3 - - OK OK No out err perf
sat4j611.89133.0SATISFIABLE160 OK INVALID No out err perf
scipcpx611.272793.6 - - OK OK No out err perf
scipspx612.102811.7 - - OK OK No out err perf
toysat611.371128.7 - 300 OK OK No out err perf
pblib-pbsolver611.95483.4 - 241 OK OK No out err perf