back to the results overview

Faulty instances for solver bsolo in folder normalized-PB06/

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opbDEC-LIN-32-PB119.544.7UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos13.opbOPT-LIN-32-PB2472.79232.3UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opbOPT-LIN-32-PB2676.561186.2UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opbOPT-LIN-32-PB16.13130.9UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opbOPT-LIN-32-PB1265.80187.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opbOPT-LIN-32-PB2363.17174.8OPTIMUM890 Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opbOPT-LIN-32-PB11.6389.3OPTIMUM262735 Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opbOPT-LIN-32-PB328.661070.6UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opbOPT-LIN-32-PB2415.301186.2UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opbOPT-LIN-32-PB19.8834.8OPTIMUM17172 Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opbOPT-LIN-32-PB187.66194.0OPTIMUM0 Wrong OK Yes out err perf
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opbOPT-LIN-32-PB44.1482.7OPTIMUM43 Wrong OK Yes out err perf
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opbOPT-LIN-32-PB25.48204.2UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob4.opbDEC-LIN-32-PB3.922.7UNSATISFIABLE- Wrong OK Yes out err perf