back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
ASP/Timetabling/Udine5.lp.sm-extracted.opbOPT-LIN-32-PB1.310.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine7.lp.sm-extracted.opbOPT-LIN-32-PB1.250.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA09.lp.sm-extracted.opbOPT-LIN-32-PB2.01106.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/test3.lp.sm-extracted.opbOPT-LIN-32-PB0.690.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/DDS6.lp.sm-extracted.opbOPT-LIN-32-PB1.050.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine1.lp.sm-extracted.opbOPT-LIN-32-PB1.370.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA06.lp.sm-extracted.opbOPT-LIN-32-PB0.990.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp13.lp.sm-extracted.opbOPT-LIN-32-PB0.970.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp16.lp.sm-extracted.opbOPT-LIN-32-PB1.160.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp14.lp.sm-extracted.opbOPT-LIN-32-PB0.960.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA08.lp.sm-extracted.opbOPT-LIN-32-PB1.470.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp04.lp.sm-extracted.opbOPT-LIN-32-PB0.960.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA12.lp.sm-extracted.opbOPT-LIN-32-PB1.140.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine9.lp.sm-extracted.opbOPT-LIN-32-PB1.250.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA04.lp.sm-extracted.opbOPT-LIN-32-PB2.95173.1UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/EA07.lp.sm-extracted.opbOPT-LIN-32-PB5.82480.6UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp08.lp.sm-extracted.opbOPT-LIN-32-PB1.000.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/test2.lp.sm-extracted.opbOPT-LIN-32-PB0.710.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/comp07.lp.sm-extracted.opbOPT-LIN-32-PB1.260.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/Timetabling/Udine4.lp.sm-extracted.opbOPT-LIN-32-PB0.860.0UNSATISFIABLE- Wrong OK Yes out err perf
more results