back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
ASP/ShiftDesign/limits-10-10_data-1_inst-122_30m.sm-extracted.opbOPT-LIN-32-PB42.51871.6UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-068_30m.sm-extracted.opbOPT-LIN-32-PB20.26379.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-056_60m.sm-extracted.opbOPT-LIN-32-PB28.88335.5UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-078_60m.sm-extracted.opbOPT-LIN-32-PB21.03231.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-071_30m.sm-extracted.opbOPT-LIN-32-PB30.18808.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-3_inst-028_60m.sm-extracted.opbOPT-LIN-32-PB21.40447.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-044_30m.sm-extracted.opbOPT-LIN-32-PB46.231079.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-182_60m.sm-extracted.opbOPT-LIN-32-PB12.29401.6UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-102_30m.sm-extracted.opbOPT-LIN-32-PB106.391025.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-059_30m.sm-extracted.opbOPT-LIN-32-PB31.17541.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-031_60m.sm-extracted.opbOPT-LIN-32-PB0.950.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-099_60m.sm-extracted.opbOPT-LIN-32-PB3.8074.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-137_30m.sm-extracted.opbOPT-LIN-32-PB33.53776.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-4_inst-003_60m.sm-extracted.opbOPT-LIN-32-PB69.10872.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-010_30m.sm-extracted.opbOPT-LIN-32-PB43.12987.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-2_inst-017_60m.sm-extracted.opbOPT-LIN-32-PB14.64285.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-081_60m.sm-extracted.opbOPT-LIN-32-PB1.700.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-048_60m.sm-extracted.opbOPT-LIN-32-PB6.96124.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-005_60m.sm-extracted.opbOPT-LIN-32-PB8.42151.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-2_inst-003_30m.sm-extracted.opbOPT-LIN-32-PB47.641260.3UNSATISFIABLE- Wrong OK Yes out err perf
more results