back to the results overview

Faulty instances for solver open-wbo in category DEC-LIN-32-CARD

InstanceCategoryWall Clock TimeMemoryStatuso ValueResultModelSolvedOutput
PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opbDEC-LIN-32-CARD1.010.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
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.470.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opbDEC-LIN-32-CARD1.110.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.090.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opbDEC-LIN-32-CARD4.8710.4UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.530.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.540.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_9_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-fpga10_8_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-fpga30_29_sat_pb.cnf.cr.opbDEC-LIN-32-CARD55.0238.1UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.180.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.470.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opbDEC-LIN-32-CARD5.6410.2UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.700.0UNSATISFIABLE- Wrong OK Yes out err perf
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opbDEC-LIN-32-CARD0.740.0UNSATISFIABLE- Wrong OK Yes out err perf