back to the results overview

Faulty instances for solver open-wbo-lsu in category OPT-LIN-64-PB

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand767898.cudf.trendy.opbOPT-LIN-64-PB1.110.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randb54299.cudf.trendy.opbOPT-LIN-64-PB1.010.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand3c03fd.cudf.trendy.opbOPT-LIN-64-PB0.110.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.trendy.opbOPT-LIN-64-PB0.220.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand27da90.cudf.trendy.opbOPT-LIN-64-PB0.350.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opbOPT-LIN-64-PB0.320.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randa2004a.cudf.trendy.opbOPT-LIN-64-PB0.430.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randec6fe1.cudf.trendy.opbOPT-LIN-64-PB0.440.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand18b530.cudf.trendy.opbOPT-LIN-64-PB0.350.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randd7b2b4.cudf.trendy.opbOPT-LIN-64-PB0.420.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand71b131.cudf.trendy.opbOPT-LIN-64-PB0.460.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randf66c83.cudf.trendy.opbOPT-LIN-64-PB0.570.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opbOPT-LIN-64-PB0.610.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand362510.cudf.trendy.opbOPT-LIN-64-PB0.520.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opbOPT-LIN-64-PB0.520.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randf794d2.cudf.trendy.opbOPT-LIN-64-PB0.620.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc18b26.cudf.trendy.opbOPT-LIN-64-PB0.540.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.trendy.opbOPT-LIN-64-PB0.580.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand4b919e.cudf.trendy.opbOPT-LIN-64-PB0.550.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.trendy.opbOPT-LIN-64-PB0.560.0UNSATISFIABLE- Wrong OK Yes out err perf
more results