back to the results overview

Faulty instances for solver scipcpx

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
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
PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3013_4.std.opbOPT-LIN-32-PB3233.061296.3OPTIMUM73 Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3041_8.std.opbOPT-LIN-32-PB2447.991241.5OPTIMUM89 Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3045_8.std.opbOPT-LIN-32-PB2563.951215.4OPTIMUM95 Wrong OK Yes out err perf