back to the results overview

Faulty instances for solver open-wbo

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
ASP/Metro/metro_9_8_7_22_10_6_500_1_9.lp.sm-extracted.opbOPT-LIN-32-PB0.370.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.370.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.430.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.390.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/inst2.lp.sm-extracted.opbOPT-LIN-32-PB0.380.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.610.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.480.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.500.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.470.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.490.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.490.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.500.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.540.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.500.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.520.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.690.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.730.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/inst10.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_5.lp.sm-extracted.opbOPT-LIN-32-PB0.640.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.780.0UNSATISFIABLE- Wrong OK Yes out err perf
more results