back to the results overview

Faulty instances for solver open-wbo in folder PB11/

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-neos-957389.opbOPT-LIN-32-PB21.064801.8UNSATISFIABLE- 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-circ10-3.opbOPT-LIN-32-PB1.910.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
PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opbOPT-LIN-32-PB1.500.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opbDEC-LIN-32-CARD1.010.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos808444.opbDEC-LIN-32-PB1.280.0UNSATISFIABLE- Wrong OK Yes out err perf