back to the results overview

Faulty instances for solver bsolo in folder PB11

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opbOPT-LIN-32-PB12.4135.4UNSATISFIABLE- Wrong OK Yes out err perf