Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-173.opb | ? (MO) | 182.663 | 182.659 | 3478931 | |
/DEC-SMALLINT-LIN/lopes/ normalized-178.opb | ? (MO) | 205.104 | 207.103 | 3478942 | |
/DEC-SMALLINT-LIN/lopes/ normalized-181.opb | ? (MO) | 205.592 | 205.589 | 3478997 | |
/DEC-SMALLINT-LIN/lopes/ normalized-182.opb | ? (MO) | 226.069 | 226.061 | 3478755 | |
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 258.6 | 258.593 | 3478975 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1096.cudf.paranoid.opb | Wrong Cert. | 0.000999 | 0.0182861 | 3467541 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__512.opb | ? (MO) | 194.932 | 196.997 | 3467476 | |
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__1024.opb | ? (MO) | 226.03 | 226.025 | 3467491 | |
/OPT-BIGINT-LIN/ heinz/normalized-zib01.opb | ? (MO) | 231.23 | 231.284 | 3479308 | |
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb | ? (MO) | 234.512 | 236.506 | 3467513 |