Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb | ? (MO) | 1464.16 | 1464.42 | 4078585 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb | ? (exit code) | 750.187 | 750.317 | 4078584 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 211.55 | 211.595 | 4108995 | |
/DEC-SMALLINT-LIN/lopes/ normalized-182.opb | ? (MO) | 298.401 | 298.448 | 4108883 | |
/DEC-SMALLINT-LIN/lopes/ normalized-178.opb | ? (MO) | 361.244 | 361.308 | 4108974 | |
/DEC-SMALLINT-LIN/lopes/ normalized-181.opb | ? (MO) | 390.844 | 390.908 | 4109009 |