back to the results overview

Faulty instances for solver open-wbo-lsu in folder ASP/

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
ASP/Metro/metro_9_8_7_22_10_6_500_1_9.lp.sm-extracted.opbOPT-LIN-32-PB0.410.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_30_10_6_500_1_8.lp.sm-extracted.opbOPT-LIN-32-PB0.440.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_22_10_6_500_1_2.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/inst2.lp.sm-extracted.opbOPT-LIN-32-PB0.370.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_9_10_35_13_7_500_2_1.lp.sm-extracted.opbOPT-LIN-32-PB0.570.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_30_10_6_500_1_3.lp.sm-extracted.opbOPT-LIN-32-PB0.440.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_30_10_6_500_1_0.lp.sm-extracted.opbOPT-LIN-32-PB0.430.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_22_10_6_500_1_7.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_8_8_5_20_10_6_500_1_1.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_8_8_5_20_10_6_500_1_5.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_8_8_5_20_10_6_500_1_7.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_30_10_6_500_1_7.lp.sm-extracted.opbOPT-LIN-32-PB0.430.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_8_8_5_20_10_6_500_1_0.lp.sm-extracted.opbOPT-LIN-32-PB0.390.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_22_10_6_500_1_1.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_9_10_35_13_7_500_2_4.lp.sm-extracted.opbOPT-LIN-32-PB0.540.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_9_10_35_13_7_500_2_6.lp.sm-extracted.opbOPT-LIN-32-PB0.550.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/inst10.lp.sm-extracted.opbOPT-LIN-32-PB0.390.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_30_10_6_500_1_5.lp.sm-extracted.opbOPT-LIN-32-PB0.440.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_9_10_35_13_7_500_2_9.lp.sm-extracted.opbOPT-LIN-32-PB0.590.0UNSATISFIABLE- Wrong OK Yes out err perf
more results