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_500_3__212_366__8.opbOPT-LIN-32-PB0.410.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.42946.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-PB3.21682.5UNSATISFIABLE- 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-PB1.220.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.82562.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.872578.3UNSATISFIABLE- 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.791017.0UNSATISFIABLE- 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.160.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.684082.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.280.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.680.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-PB12.662557.9UNSATISFIABLE- 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.98344.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.043595.6UNSATISFIABLE- 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.626301.8UNSATISFIABLE- 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.592025.2UNSATISFIABLE- 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.420.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.450.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.41491.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.590.0UNSATISFIABLE- Wrong OK Yes out err perf
more results