Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb | SAT | 23257 | 11.7312 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb | SAT | 23262 | 266.791 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb | SAT | 23142 | 921.984 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb | UNKNOWN | 24542 | 1200.44 |
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb | UNKNOWN | 24682 | 1200.62 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb | OPT FOUND | 25850 | 58.1262 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb | OPT FOUND | 28531 | 58.7481 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb | OPT FOUND | 27104 | 94.5336 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb | OPT FOUND | 28645 | 94.7346 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb | OPT FOUND | 26409 | 94.8676 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb | OPT FOUND | 27467 | 95.1535 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb | OPT FOUND | 27246 | 812.606 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb | OPT FOUND | 27896 | 1150.91 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb | OPT FOUND | 25177 | 1175.21 |
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 | 26275 | 1175.02 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb | SAT | 28333 | 1175.08 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb | SAT | 26576 | 1175.12 |