back to the results overview

Faulty instances for solver open-wbo in folder normalized-PB09/

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__8.opbOPT-LIN-32-PB0.510.0UNSATISFIABLE- Wrong OK Yes out err perf
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_50_2__8_45__64.opbOPT-LIN-32-PB0.700.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__64.opbOPT-LIN-32-PB2.29562.5UNSATISFIABLE- 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_20_2__17_12__32.opbOPT-LIN-32-PB0.300.0UNSATISFIABLE- 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_500_3__212_366__16.opbOPT-LIN-32-PB1.160.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__32.opbOPT-LIN-32-PB0.480.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__512.opbOPT-LIN-32-PB13.002638.1UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__8.opbOPT-LIN-32-PB1.60345.4UNSATISFIABLE- 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_50_2__8_45__512.opbOPT-LIN-32-PB28.756279.7UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__128.opbOPT-LIN-32-PB8.672026.5UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__8.opbOPT-LIN-32-PB0.490.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__16.opbOPT-LIN-32-PB0.550.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opbOPT-LIN-32-PB3.49499.4UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__16.opbOPT-LIN-32-PB0.690.0UNSATISFIABLE- Wrong OK Yes out err perf
more results