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) | 1246.25 | 1246.59 | 350817 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-10.opb | ? (problem) | 147.185 | 147.224 | 419874 | |
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00090.sat05-1326.reshuffled-07.opb | ? (problem) | 641.654 | 641.909 | 420490 | |
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG7-gensys-icl001.sat05-2926.reshuffled-07.opb | ? (problem) | 849.295 | 849.628 | 420560 |