back to the results overview

Faulty instances for solver scipspx in folder normalized-PB06/

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/manquiho/Aardal_1/normalized-prob10.opbDEC-LIN-32-PB90.0923.8SATISFIABLE- OK INVALID Yes out err perf