back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__128.opbOPT-LIN-32-PB5.39431.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__256.opbOPT-LIN-32-PB7.201505.7UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__16.opbOPT-LIN-32-PB0.810.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.90273.3UNSATISFIABLE- 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.040.0UNSATISFIABLE- 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.241808.6UNSATISFIABLE- 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.990.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__32.opbOPT-LIN-32-PB0.600.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-PB9.811234.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.763585.6UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opbOPT-LIN-32-PB1.660.0UNSATISFIABLE- 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.75342.6UNSATISFIABLE- 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.540.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__64.opbOPT-LIN-32-PB0.750.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opbOPT-LIN-32-PB0.650.0UNSATISFIABLE- 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.96738.8UNSATISFIABLE- 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.70942.9UNSATISFIABLE- 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.636357.5UNSATISFIABLE- 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.420.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-PB26.402798.1UNSATISFIABLE- Wrong OK Yes out err perf
more results