Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb | Wrong UNSAT | 7.64984 | 7.77954 | 3482054 | |
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb | Wrong UNSAT | 7.8578 | 7.98783 | 3482045 |