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-opm2-z7-s2.opbOPT-LIN-32-PB2845.383231.5OPTIMUM-7217 Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opbOPT-LIN-32-PB11.6535.8UNSATISFIABLE- Wrong OK Yes out err perf