back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__16.opbOPT-LIN-64-PB4.23938.5UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__8.opbOPT-LIN-64-PB2.80656.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__64.opbOPT-LIN-64-PB10.402815.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__8.opbOPT-LIN-64-PB3.971032.9UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__32.opbOPT-LIN-64-PB14.934086.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__16.opbOPT-LIN-64-PB12.693514.1UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__16.opbOPT-LIN-64-PB8.852247.8UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-r-cran-car.cudf.trendy.opbOPT-LIN-64-PB0.720.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kblocks.cudf.trendy.opbOPT-LIN-64-PB0.720.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opbOPT-LIN-64-PB0.730.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libwnck2.20-cil.cudf.trendy.opbOPT-LIN-64-PB0.710.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opbOPT-LIN-64-PB0.720.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libmono-addins-gui0.2-cil.cudf.trendy.opbOPT-LIN-64-PB0.730.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-libevolution3.0-cil.cudf.trendy.opbOPT-LIN-64-PB0.710.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kphotoalbum.cudf.trendy.opbOPT-LIN-64-PB0.710.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-plasma-dataengines-workspace.cudf.trendy.opbOPT-LIN-64-PB0.710.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-fcron.cudf.trendy.opbOPT-LIN-64-PB0.720.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-kbd.cudf.trendy.opbOPT-LIN-64-PB0.710.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-ksystemlog.cudf.trendy.opbOPT-LIN-64-PB0.740.0UNSATISFIABLE- Wrong OK Yes out err perf
PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-knetwalk.cudf.trendy.opbOPT-LIN-64-PB0.730.0UNSATISFIABLE- Wrong OK Yes out err perf
more results