back to the results overview

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

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opbOPT-LIN-32-PB2.1789.2OPTIMUM8007 Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opbOPT-LIN-32-PB1.220.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.85209.1UNSATISFIABLE- 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-PB1.72222.1UNSATISFIABLE- 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-PB1.53183.9OPTIMUM2407 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.200.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.10461.1UNSATISFIABLE- 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-PB2.97472.8UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opbOPT-LIN-32-PB0.580.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opbOPT-LIN-32-PB0.400.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opbOPT-LIN-32-PB0.620.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opbOPT-LIN-32-PB0.440.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opbOPT-LIN-32-PB1.370.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ4_3.opbOPT-LIN-32-PB0.410.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data4_3.opbOPT-LIN-32-PB0.420.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opbOPT-LIN-32-PB1.390.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.970.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opbDEC-LIN-32-CARD114.7639.8UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.020.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.590.0UNSATISFIABLE- Wrong OK Yes out err perf
more results