Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-182.opb | ? (MO) | 167.077 | 167.085 | 3478754 | |
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 220.857 | 220.856 | 3478974 |
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.0202879 | 3465429 |