back to the results overview

Faulty instances for solver open-wbo-lsu

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
ASP/Metro/metro_8_8_5_20_10_6_500_1_2.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_9.lp.sm-extracted.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_22_10_6_500_1_3.lp.sm-extracted.opbOPT-LIN-32-PB0.410.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_22_10_6_500_1_4.lp.sm-extracted.opbOPT-LIN-32-PB0.200.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_8_7_30_10_6_500_1_9.lp.sm-extracted.opbOPT-LIN-32-PB0.230.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/inst22.lp.sm-extracted.opbOPT-LIN-32-PB0.290.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/metro_9_9_10_35_13_7_500_2_2.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_6.lp.sm-extracted.opbOPT-LIN-32-PB0.230.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Metro/inst13.lp.sm-extracted.opbOPT-LIN-32-PB0.170.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine5.lp.sm-extracted.opbOPT-LIN-32-PB2.66242.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine7.lp.sm-extracted.opbOPT-LIN-32-PB2.47257.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA09.lp.sm-extracted.opbOPT-LIN-32-PB4.98530.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/test3.lp.sm-extracted.opbOPT-LIN-32-PB0.680.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/DDS6.lp.sm-extracted.opbOPT-LIN-32-PB1.60122.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine1.lp.sm-extracted.opbOPT-LIN-32-PB2.71246.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA06.lp.sm-extracted.opbOPT-LIN-32-PB1.23174.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp13.lp.sm-extracted.opbOPT-LIN-32-PB1.32145.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp16.lp.sm-extracted.opbOPT-LIN-32-PB1.84118.6UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp14.lp.sm-extracted.opbOPT-LIN-32-PB1.30140.5UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA08.lp.sm-extracted.opbOPT-LIN-32-PB5.23458.6UNSATISFIABLE- Wrong OK Yes out err perf
beginning more results