back to the results overview

Faulty instances for solver bsolo in category OPT-LIN-32-PB

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opbOPT-LIN-32-PB12.4135.4UNSATISFIABLE- 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.7582.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-PB67.65205.1UNSATISFIABLE- 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-PB49.3834.8OPTIMUM17172 Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opbOPT-LIN-32-PB14.6385.4UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opbOPT-LIN-32-PB24.68326.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-122_30m.sm-extracted.opbOPT-LIN-32-PB5.03508.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-068_30m.sm-extracted.opbOPT-LIN-32-PB2.50299.3UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-056_60m.sm-extracted.opbOPT-LIN-32-PB1.48172.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-078_60m.sm-extracted.opbOPT-LIN-32-PB1.120.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-071_30m.sm-extracted.opbOPT-LIN-32-PB3.51449.8UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-3_inst-028_60m.sm-extracted.opbOPT-LIN-32-PB2.25128.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-044_30m.sm-extracted.opbOPT-LIN-32-PB5.47349.2UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-182_60m.sm-extracted.opbOPT-LIN-32-PB1.88131.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-102_30m.sm-extracted.opbOPT-LIN-32-PB4.31577.6UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-059_30m.sm-extracted.opbOPT-LIN-32-PB3.09241.0UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-137_30m.sm-extracted.opbOPT-LIN-32-PB3.24452.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-4_inst-003_60m.sm-extracted.opbOPT-LIN-32-PB3.08237.9UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-1_inst-010_30m.sm-extracted.opbOPT-LIN-32-PB4.73446.4UNSATISFIABLE- Wrong OK Yes out err perf
ASP/ShiftDesign/limits-10-10_data-2_inst-017_60m.sm-extracted.opbOPT-LIN-32-PB1.59122.7UNSATISFIABLE- Wrong OK Yes out err perf
more results