back to the results overview

Faulty instances for solver open-wbo in folder PB12/

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX60_K67_cod1.opbOPT-LIN-32-PB646.00228.5UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null10mast_rapportOE2.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB0.620.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB4.38111.4UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB1.600.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX60_K67_cod1.opbOPT-LIN-32-PB451.72204.7UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB1.060.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opbOPT-LIN-32-PB18.16201.4UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB2.65111.6UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX60_K67_cod1.opbOPT-LIN-32-PB361.36196.6UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod3.opbOPT-LIN-32-PB49.60170.4UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE2.0_TMAX60_K67_cod1.opbOPT-LIN-32-PB32.41176.2UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB1.8782.6UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB1.20110.3UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB1.380.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB4.46117.5UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null10mast_rapportOE1.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB1.650.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE1.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB1.850.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null10mast_rapportOE1.0_TMAX60_K67_cod3.opbOPT-LIN-32-PB2100.00261.4UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod1.opbOPT-LIN-32-PB2353.42238.5UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB1.120.0UNSATISFIABLE- Wrong OK Yes out err perf
more results