back to the results overview

Faulty instances for solver open-wbo-lsu in category OPT-LIN-32-CARD

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight5.opbOPT-LIN-32-CARD0.810.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight4.opbOPT-LIN-32-CARD0.840.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894786.opbOPT-LIN-32-CARD1.080.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight6.opbOPT-LIN-32-CARD0.030.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894236.opbOPT-LIN-32-CARD0.350.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns903616.opbOPT-LIN-32-CARD0.430.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opbOPT-LIN-32-CARD1.360.0UNSATISFIABLE- Wrong OK Yes out err perf