back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opbDEC-LIN-32-PB119.544.7UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob4.opbDEC-LIN-32-PB3.922.7UNSATISFIABLE- Wrong OK Yes out err perf