Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-enigma.opb | OPT | 0 | 47.7927 | 47.812 | 34876 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb | OPT | 788263 | 206.105 | 206.173 | 34881 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb | OPT | 258411 | 1101.48 | 1101.91 | 34879 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-ds.opb | Signal 6 (SIGABRT) | 411.702 | 412.018 | 34872 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos9.opb | Signal 6 (SIGABRT) | 540.954 | 545.579 | 34873 | |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb | Signal 6 (SIGABRT) | 1037.72 | 1038.56 | 34871 | |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb | Signal 6 (SIGABRT) | 1578.86 | 1580.61 | 34870 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb | SAT | 0 | 15.3087 | 15.3178 | 35643 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb | ? (TO) | 1800.5 | 1801.23 | 35644 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb | ? (TO) | 1800.67 | 1801.4 | 35932 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb | Signal 6 (SIGABRT) | 4.98924 | 4.99547 | 35930 |