Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb | OPT | -174776 | 0.086985 | 0.088225 | 362756 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb | SAT | 200 | 1456.5 | 1456.89 | 364772 |
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir04_area_partials.opb | SAT | 30 | 1562.44 | 1562.82 | 373169 |
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb | SAT | 200 | 1724.1 | 1724.61 | 364310 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb | ? (MO) | 17.9613 | 305.343 | 351901 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb | ? (MO) | 23.5814 | 99.1756 | 348994 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb | ? (MO) | 569.029 | 690.299 | 347928 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_4.opb | No Cert. | 1800.06 | 1803.36 | 453539 | |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb | No Cert. | 1800.07 | 1804.68 | 453449 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.opb | SAT | 0 | 24.0143 | 24.1295 | 420523 |
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb | SAT | 0 | 165.556 | 165.611 | 420467 |
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/sat-pbl-00400.sat05-1322.reshuffled-07.opb | SAT | 0 | 304.415 | 304.521 | 420509 |
normalized-PB07/PURE-SAT/SAT07/ industrial/grieu/vmpc_24.opb | SAT | 0 | 1140.59 | 1140.92 | 419851 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug1.opb | ? (problem) | 0.000999 | 0.0050569 | 420285 |