Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-173.opb | ? (MO) | 181.158 | 181.157 | 3498173 | |
/DEC-SMALLINT-LIN/lopes/ normalized-178.opb | ? (MO) | 202.011 | 204.008 | 3498174 | |
/DEC-SMALLINT-LIN/lopes/ normalized-181.opb | ? (MO) | 202.07 | 204.073 | 3498175 | |
/DEC-SMALLINT-LIN/lopes/ normalized-182.opb | ? (MO) | 224.982 | 226.98 | 3498176 | |
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 255.625 | 257.62 | 3498177 |
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) | 174.345 | 176.34 | 3497789 | |
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb | ? (MO) | 207.207 | 209.204 | 3497826 | |
/OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__1024.opb | ? (MO) | 226.694 | 228.689 | 3497804 | |
/OPT-BIGINT-LIN/ heinz/normalized-zib01.opb | ? (MO) | 250.016 | 250.012 | 3498212 |