Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb | SAT | 23259 | 11.6862 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb | SAT | 23264 | 263.907 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb | SAT | 23144 | 928.008 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb | UNKNOWN | 24544 | 1200.45 |
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb | UNKNOWN | 24684 | 1200.45 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb | OPT FOUND | 27234 | 739.856 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb | OPT FOUND | 27124 | 29.3775 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb | OPT FOUND | 27489 | 29.4135 |