Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-182.opb | ? (MO) | 151.292 | 151.288 | 3486381 | |
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 152.141 | 152.136 | 3486382 | |
/DEC-SMALLINT-LIN/lopes/ normalized-173.opb | ? (MO) | 177.776 | 177.772 | 3486378 | |
/DEC-SMALLINT-LIN/lopes/ normalized-178.opb | ? (MO) | 249.321 | 249.32 | 3486379 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-181.opb | ? (exit code) | 258.761 | 258.757 | 3486380 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-SMALLINT-LIN/ kullmann/normalized-sbox_8_shg.opb | ? (exit code) | 134.956 | 134.955 | 3486424 |