Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-0.opb | ? (TO) | 3600.32 | 3609.4 | 4547953 | |
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb | ? (TO) | 3602.02 | 3612.01 | 4547710 | |
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-4.opb | ? (TO) | 3602.03 | 3611.3 | 4547963 | |
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-3.opb | ? (TO) | 3602.09 | 3611.5 | 4547958 | |
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-1.opb | ? (TO) | 3602.1 | 3612.6 | 4547965 |