back to the results overview

Faulty instances for solver open-wbo-lsu 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-PB717.76191.9UNSATISFIABLE- 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-PB1.270.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.41110.3UNSATISFIABLE- 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-PB0.610.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-PB589.37197.6UNSATISFIABLE- 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-PB0.670.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-PB15.74169.7UNSATISFIABLE- 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.88110.5UNSATISFIABLE- 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-PB341.23195.5UNSATISFIABLE- 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-PB41.76191.5UNSATISFIABLE- 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-PB27.97173.3UNSATISFIABLE- 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.4882.0UNSATISFIABLE- 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.37100.6UNSATISFIABLE- 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.020.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.37116.4UNSATISFIABLE- 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.510.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-PB0.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-PB2122.50264.6UNSATISFIABLE- 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-PB2352.33266.9UNSATISFIABLE- 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.060.0UNSATISFIABLE- Wrong OK Yes out err perf
more results