back to the results overview

Faulty instances for solver scipspx

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
PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K192_cod1.opbOPT-LIN-32-PB2036.395674.6OPTIMUM-47965 Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3014_7.std.opbOPT-LIN-32-PB848.90788.8OPTIMUM51 Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3041_9.std.opbOPT-LIN-32-PB1593.181479.0OPTIMUM93 Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3045_10.std.opbOPT-LIN-32-PB3364.311509.5OPTIMUM91 Wrong OK Yes out err perf