back to the results overview

Faulty instances for solver pbcplex

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opbOPT-LIN-32-PB2.188.9SATISFIABLE-511 OK INVALID No out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob4.opbDEC-LIN-32-PB10.317.0SATISFIABLE0 OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob1.opbDEC-LIN-32-PB7.0123.5SATISFIABLE0 OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opbDEC-LIN-32-PB26.1759.6SATISFIABLE0 Wrong INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww1.opbDEC-LIN-32-PB599.121739.4SATISFIABLE0 OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob7.opbDEC-LIN-32-PB3.0718.5SATISFIABLE0 OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opbDEC-LIN-32-PB4.8823.1SATISFIABLE0 OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob2.opbDEC-LIN-32-PB1.828.0SATISFIABLE0 OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob5.opbDEC-LIN-32-PB127.109.1SATISFIABLE0 OK INVALID Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob6.opbDEC-LIN-32-PB73.4312.5SATISFIABLE0 OK INVALID Yes out err perf
PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null0mast_rapportOE1.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB56.44148.0OPTIMUM-4727 Wrong OK 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-PB3506.781083.1OPTIMUM-47970 Wrong OK Yes out err perf