back to the results overview

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

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
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