Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight4.opb | SAT | 0 | 0.300953 | 0.305236 | 3479168 |
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight6.opb | SAT | 0 | 0.416935 | 0.421677 | 3479048 |
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.029995 | 0.0305839 | 3461431 |