back to the results overview

Faulty instances for solver bsolo in folder ASP

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
ASP/ShiftDesign/limits-10-10_data-1_inst-122_30m.sm-extracted.opbOPT-LIN-32-PB5.03508.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-068_30m.sm-extracted.opbOPT-LIN-32-PB2.50299.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-056_60m.sm-extracted.opbOPT-LIN-32-PB1.48172.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-078_60m.sm-extracted.opbOPT-LIN-32-PB1.120.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-071_30m.sm-extracted.opbOPT-LIN-32-PB3.51449.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-3_inst-028_60m.sm-extracted.opbOPT-LIN-32-PB2.25128.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-044_30m.sm-extracted.opbOPT-LIN-32-PB5.47349.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-182_60m.sm-extracted.opbOPT-LIN-32-PB1.88131.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-102_30m.sm-extracted.opbOPT-LIN-32-PB4.31577.6UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-059_30m.sm-extracted.opbOPT-LIN-32-PB3.09241.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-137_30m.sm-extracted.opbOPT-LIN-32-PB3.24452.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-4_inst-003_60m.sm-extracted.opbOPT-LIN-32-PB3.08237.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-010_30m.sm-extracted.opbOPT-LIN-32-PB4.73446.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-2_inst-017_60m.sm-extracted.opbOPT-LIN-32-PB1.59122.7UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-048_60m.sm-extracted.opbOPT-LIN-32-PB2.0158.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-005_60m.sm-extracted.opbOPT-LIN-32-PB1.200.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-2_inst-003_30m.sm-extracted.opbOPT-LIN-32-PB6.02716.6UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-018_60m.sm-extracted.opbOPT-LIN-32-PB2.21128.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-2_inst-030_30m.sm-extracted.opbOPT-LIN-32-PB10.041055.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-084_30m.sm-extracted.opbOPT-LIN-32-PB5.93657.5UNSATISFIABLE- Wrong OK Yes out err perf
more results