back to the results overview

Faulty instances for solver open-wbo-lsu in folder PB10

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand362510.cudf.paranoid.opbOPT-LIN-32-PB1.020.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.paranoid.opbOPT-LIN-32-PB1.020.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.paranoid.opbOPT-LIN-32-PB0.130.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.paranoid.opbOPT-LIN-32-PB0.130.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.paranoid.opbOPT-LIN-32-PB0.130.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd7b2b4.cudf.paranoid.opbOPT-LIN-32-PB0.140.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.paranoid.opbOPT-LIN-32-PB0.140.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand27da90.cudf.paranoid.opbOPT-LIN-32-PB0.230.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randb54299.cudf.paranoid.opbOPT-LIN-32-PB0.240.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.paranoid.opbOPT-LIN-32-PB0.240.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.cudf.paranoid.opbOPT-LIN-32-PB0.240.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf794d2.cudf.paranoid.opbOPT-LIN-32-PB0.250.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc18b26.cudf.paranoid.opbOPT-LIN-32-PB0.250.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.paranoid.opbOPT-LIN-32-PB0.340.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand767898.cudf.paranoid.opbOPT-LIN-32-PB0.340.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand3c03fd.cudf.paranoid.opbOPT-LIN-32-PB0.340.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf66c83.cudf.paranoid.opbOPT-LIN-32-PB0.350.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opbOPT-LIN-32-PB0.360.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand71b131.cudf.paranoid.opbOPT-LIN-32-PB0.450.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opbOPT-LIN-32-PB0.440.0UNSATISFIABLE- Wrong OK Yes out err perf
more results