Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-638.opb | Signal 6 | 0.043992 | 0.041634 | 3500243 | |
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb | Signal 11 | 6.01408 | 3.02841 | 3500478 | |
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb | Signal 11 | 57.5842 | 28.8299 | 3500364 | |
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb | Signal 11 | 1130.26 | 565.416 | 3500354 |