Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb | SAT | -1073741823 | 0.006089 | 0.00505303 | 4466093 |
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-neos-3437289-erdre.opb | SAT | 0 | 0.700297 | 0.166707 | 4466881 |
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-acc-tight5.opb | SAT | 0 | 73.4214 | 3.71378 | 4466875 |