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-neos-544324.opbOPT-LIN-32-CARD2011.276279.7UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight6.opbOPT-LIN-32-CARD0.240.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-957389.opbOPT-LIN-32-PB20.094881.6UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894788.opbOPT-LIN-32-CARD0.360.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-ns894236.opbOPT-LIN-32-CARD0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894786.opbOPT-LIN-32-CARD0.480.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight4.opbOPT-LIN-32-CARD0.370.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894244.opbOPT-LIN-32-CARD0.430.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-circ10-3.opbOPT-LIN-32-PB1.27355.3UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opbOPT-LIN-32-CARD0.510.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-acc-tight5.opbOPT-LIN-32-CARD0.380.0UNSATISFIABLE- Wrong OK Yes out err perf
PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opbOPT-LIN-32-PB0.840.0UNSATISFIABLE- Wrong OK Yes out err perf