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-p0291.opb | OPT | 10447498 | 0.06099 | 0.065619 | 36317 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-enigma.opb | OPT | 0 | 6.29004 | 6.29717 | 36306 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb | OPT | 3398 | 10.6464 | 10.7008 | 36307 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb | OPT | 788263 | 15.7326 | 15.7441 | 36311 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-vpm2.opb | ? (TO) | 1800.51 | 1801.13 | 36322 | |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air04.opb | ? (TO) | 1800.61 | 1801.29 | 36321 | |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb | ? (TO) | 1800.73 | 1801.28 | 36300 | |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb | ? (TO) | 1800.86 | 1801.53 | 36301 | |
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-ds.opb | ? (TO) | 1800.93 | 1801.42 | 36302 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos9.opb | Signal 6 (SIGABRT) | 1707.73 | 1708.37 | 36303 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb | ? | 1789 | 1789.59 | 46141 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb | Signal 6 (SIGABRT) | 32.984 | 32.9999 | 36037 |