Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-184.opb | ? (MO) | 150.663 | 150.671 | 3489824 | |
/DEC-SMALLINT-LIN/lopes/ normalized-173.opb | ? (MO) | 925.842 | 925.831 | 3489820 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/DEC-SMALLINT-LIN/lopes/ normalized-181.opb | ? (exit code) | 151.996 | 151.996 | 3489822 | |
/DEC-SMALLINT-LIN/lopes/ normalized-178.opb | ? (exit code) | 168.979 | 168.979 | 3489821 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-SMALLINT-LIN/ kullmann/normalized-sbox_8_shg.opb | Signal 6 | 140.128 | 197.759 | 3489866 |