Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb | OPT FOUND | 13448 | 5.96709 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb | OPT FOUND | 14588 | 6.02808 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb | UNKNOWN | 14510 | 0.411936 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb | OPT FOUND | 19055 | 6.00309 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb | OPT FOUND | 17615 | 41.1977 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb | OPT FOUND | 17670 | 422.405 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb | OPT FOUND | 17696 | 913.784 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb | OPT FOUND | 18494 | 0.258959 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb | OPT FOUND | 14212 | 0.339947 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb | OPT FOUND | 21764 | 95.3155 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb | OPT FOUND | 21278 | 95.7554 |