Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb | SAT | 39395 | 11.5742 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb | SAT | 39398 | 256.501 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb | SAT | 39379 | 887.817 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb | UNKNOWN | 39688 | 1200.46 |
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb | UNKNOWN | 39674 | 1200.47 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb | UNSAT | 40434 | 0.315951 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb | UNSAT | 40285 | 0.825873 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb | UNSAT | 40476 | 92.4489 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb | UNSAT | 40273 | 746.924 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb | UNSAT | 40275 | 750.151 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb | OPT FOUND | 40351 | 807.869 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb | OPT FOUND | 40546 | 1133.98 |
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb | OPT FOUND | 40180 | 1140.04 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb | SAT | 40105 | 1175.02 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb | SAT | 39960 | 1175.28 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb | SAT | 40029 | 1175.3 |