back to the results overview

Faulty instances for solver scipcpx in category DEC-LIN-32-PB

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob7.opbDEC-LIN-32-PB16.7326.4SATISFIABLE- OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob2.opbDEC-LIN-32-PB12.4222.2SATISFIABLE- OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob6.opbDEC-LIN-32-PB404.9494.0SATISFIABLE- OK INVALID Yes out err perf