back to the results overview

Faulty instances for solver bsolo in category OPT-LIN-32-PB

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
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
ASP/ShiftDesign/limits-10-10_data-1_inst-182_30m.sm-extracted.opbOPT-LIN-32-PB6.01683.5UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-3_inst-002_30m.sm-extracted.opbOPT-LIN-32-PB10.71628.1UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-060_60m.sm-extracted.opbOPT-LIN-32-PB0.780.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-3_inst-003_30m.sm-extracted.opbOPT-LIN-32-PB4.02334.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-045_30m.sm-extracted.opbOPT-LIN-32-PB2.57300.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-112_60m.sm-extracted.opbOPT-LIN-32-PB0.940.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine6.lp.sm-extracted.opbOPT-LIN-32-PB1.500.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp13.lp.sm-extracted.opbOPT-LIN-32-PB1.370.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp16.lp.sm-extracted.opbOPT-LIN-32-PB0.640.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA04.lp.sm-extracted.opbOPT-LIN-32-PB2.55146.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp07.lp.sm-extracted.opbOPT-LIN-32-PB0.940.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine7.lp.sm-extracted.opbOPT-LIN-32-PB1.110.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/test3.lp.sm-extracted.opbOPT-LIN-32-PB0.660.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/DDS5.lp.sm-extracted.opbOPT-LIN-32-PB1.99106.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine5.lp.sm-extracted.opbOPT-LIN-32-PB1.300.0UNSATISFIABLE- Wrong OK Yes out err perf
beginning more results