back to the results overview

Faulty instances for solver open-wbo-lsu in folder PB11

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-circ10-3.opbOPT-LIN-32-PB0.920.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-neos-957389.opbOPT-LIN-32-PB20.404887.8UNSATISFIABLE- 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
PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opbOPT-LIN-32-PB0.920.0UNSATISFIABLE- Wrong OK Yes out err perf