back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-544324.opbOPT-LIN-32-CARD2160.626276.2UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight6.opbOPT-LIN-32-CARD0.970.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894788.opbOPT-LIN-32-CARD0.970.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns903616.opbOPT-LIN-32-CARD1.030.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894236.opbOPT-LIN-32-CARD1.010.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894786.opbOPT-LIN-32-CARD1.120.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight4.opbOPT-LIN-32-CARD0.990.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894244.opbOPT-LIN-32-CARD1.040.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opbOPT-LIN-32-CARD1.120.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight5.opbOPT-LIN-32-CARD1.000.0UNSATISFIABLE- Wrong OK Yes out err perf