back to the results overview

Faulty instances for solver scipcpx in folder PB12/

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opbOPT-LIN-32-PB3601.936059.1UNSATISFIABLE- Wrong OK Yes out err perf