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.biglist/normalized-rand35d0c8.cudf.paranoid.opbOPT-LIN-32-PB0.500.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.paranoid.opbOPT-LIN-32-PB0.500.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randb87834.cudf.paranoid.opbOPT-LIN-32-PB0.490.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand2d8467.cudf.paranoid.opbOPT-LIN-32-PB0.500.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.paranoid.opbOPT-LIN-32-PB0.490.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa09fe9.cudf.paranoid.opbOPT-LIN-32-PB0.510.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand902db1.cudf.paranoid.opbOPT-LIN-32-PB0.500.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand0c02bc.cudf.paranoid.opbOPT-LIN-32-PB0.520.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.paranoid.opbOPT-LIN-32-PB0.540.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-randa6997e.cudf.paranoid.opbOPT-LIN-32-PB0.540.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand4bf850.cudf.paranoid.opbOPT-LIN-32-PB0.550.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand362510.cudf.paranoid.opbOPT-LIN-32-PB0.570.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.570.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randa2004a.cudf.paranoid.opbOPT-LIN-32-PB0.570.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.590.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.580.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.590.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-PB0.600.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.600.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.600.0UNSATISFIABLE- Wrong OK Yes out err perf
more results