Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb | ? (problem) | 1218.22 | 1218.67 | 458483 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-10.opb | ? (problem) | 147.56 | 147.596 | 459344 | |
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00090.sat05-1326.reshuffled-07.opb | ? (problem) | 640.804 | 640.987 | 459388 | |
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG7-gensys-icl001.sat05-2926.reshuffled-07.opb | ? (problem) | 850.351 | 850.646 | 459393 |