back to the results overview

Faulty instances for solver open-wbo-lsu in folder normalized-PB06/

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opbOPT-LIN-32-PB1.370.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opbOPT-LIN-32-PB2.87207.6UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opbOPT-LIN-32-PB2.52213.2UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opbOPT-LIN-32-PB11.231660.0OPTIMUM2407 Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opbOPT-LIN-32-PB1.190.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opbOPT-LIN-32-PB3.41450.9UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opbOPT-LIN-32-PB3.18475.8UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opbOPT-LIN-32-PB0.320.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opbOPT-LIN-32-PB0.120.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opbOPT-LIN-32-PB0.320.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opbOPT-LIN-32-PB0.120.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opbOPT-LIN-32-PB1.030.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ4_3.opbOPT-LIN-32-PB0.070.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data4_3.opbOPT-LIN-32-PB0.070.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opbOPT-LIN-32-PB1.040.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=181.opbOPT-LIN-32-PB14.97199.1OPTIMUM128 Wrong INVALID Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=151-Q=167.opbOPT-LIN-32-PB17.87200.4OPTIMUM128 Wrong INVALID Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=53-Q=97.opbOPT-LIN-32-PB16.86214.5OPTIMUM32 Wrong INVALID Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=67-Q=191.opbOPT-LIN-32-PB19.30242.1OPTIMUM64 Wrong INVALID Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=47-Q=71.opbOPT-LIN-32-PB13.95214.6OPTIMUM16 Wrong INVALID Yes out err perf
more results