Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-3.opb | ? (TO) | 3602.03 | 3613.01 | 4513139 | |
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-1.opb | ? (TO) | 3602.04 | 3611.11 | 4513067 | |
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb | ? (TO) | 3602.08 | 3612.3 | 4512959 | |
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-6.opb | ? (TO) | 3602.12 | 3612.01 | 4513103 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/ array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb | Wrong Cert. | 1793.06 | 1798.14 | 4541867 |