back to the results overview

Faulty instances for solver pbcplex in category OPT-LIN-32-PB

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX15_K192_cod2.opbOPT-LIN-32-PB611.221623.7OPTIMUM-12312 OK incompletemodel Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null10mast_rapportOE1.0_TMAX15_K192_cod2.opbOPT-LIN-32-PB612.011627.2OPTIMUM-12334 OK incompletemodel Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX15_K192_cod2.opbOPT-LIN-32-PB612.051580.7OPTIMUM-11577 OK incompletemodel 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-PB53.68150.7OPTIMUM-4727 Wrong OK Yes out err perf
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opbOPT-LIN-32-PB1.748.9SATISFIABLE-511 OK INVALID No out err perf