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/NG/normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod1.opbOPT-LIN-32-PB68.441152.1UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB9.58109.6UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB1.170.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod3.opbOPT-LIN-32-PB0.940.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB2.48107.3UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB1.440.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE1.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB4.23107.5UNSATISFIABLE- 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-PB0.750.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.01116.5UNSATISFIABLE- 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-PB7.33110.7UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB4.13108.2UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX15_K67_cod1.opbOPT-LIN-32-PB4.59110.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null10mast_rapportOE2.0_TMAX60_K67_cod3.opbOPT-LIN-32-PB33.14201.5UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null10mast_rapportOE2.0_TMAX60_K67_cod3.opbOPT-LIN-32-PB19.00173.5UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX60_K67_cod3.opbOPT-LIN-32-PB28.34168.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_cod1.opbOPT-LIN-32-PB0.940.0UNSATISFIABLE- 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.360.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE2.0_TMAX60_K67_cod3.opbOPT-LIN-32-PB40.25179.0UNSATISFIABLE- 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.330.0UNSATISFIABLE- Wrong OK Yes out err perf
PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null10mast_rapportOE2.0_TMAX60_K67_cod1.opbOPT-LIN-32-PB21.06163.1UNSATISFIABLE- Wrong OK Yes out err perf
more results