back to the results overview

ASP/ShiftDesign/limits-10-10_data-1_inst-056_60m.sm-extracted.opb [OPT-LIN-32-PB] [incomplete]

results for complete track

SolverWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
bsolo1.48172.9UNSATISFIABLE- Wrong OK Yes out err perf
clasp557.09458.0OPTIMUM2071410 OK OK Yes out err perf
minisatplus611.98713.3SATISFIABLE16667031 OK OK No out err perf
naps175.592361.2OPTIMUM2071410 OK OK Yes out err perf
open-wbo-lsu28.88335.5UNSATISFIABLE- Wrong OK Yes out err perf
pbcplex611.431100.6 - - OK OK No out err perf
pblib-pbo2maxsat611.58828.8 - - OK OK No out err perf
sat4j42.48213.4OPTIMUM2071410 OK OK Yes out err perf
scipcpx611.333328.9 - 18630950 OK OK No out err perf
scipspx611.741912.7 - - OK OK No out err perf
toysat611.922116.6 - 73712282 OK OK No out err perf
pblib-pbsolver611.28743.9 - 33813452 OK OK No out err perf