Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb | SAT | 2009088000000000 | 635.077 | 612.136 | 43192 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb | ? | 635.345 | 606.393 | 43348 |
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 | 8.5177 | 7.42335 | 42347 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb | OPT | 3398 | 34.5587 | 33.1359 | 42337 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-enigma.opb | OPT | 0 | 73.1989 | 71.4353 | 42336 |
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb | OPT | 788263 | 176.543 | 174.688 | 42341 |
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 | ? | 363.936 | 332.674 | 42332 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb | ? (exit code) | 761.085 | 749.082 | 43096 | |
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb | ? (exit code) | 1140.49 | 1127.63 | 43091 | |
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb | ? (exit code) | 1221.77 | 1208.09 | 43089 | |
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb | ? (exit code) | 1222.88 | 1208.97 | 43078 | |
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb | ? (exit code) | 1256.2 | 1243.56 | 43092 | |
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb | ? (exit code) | 1429.12 | 1415.82 | 43080 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb | No Cert. | 807.795 | 795.027 | 43076 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb | No Cert. | 1527.02 | 1483.37 | 42621 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb | No Cert. | 1602.9 | 1585.01 | 42454 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb | ? (TO) | 1800.38 | 1785.48 | 43103 | |
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb | ? (TO) | 1800.84 | 1785.49 | 43104 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb | SAT | 0 | 0.278957 | 0.290898 | 43391 |
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb | SAT | 0 | 46.146 | 44.9013 | 43393 |