Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb | SAT (MO) | 5633 | 1627.11 | 1627.78 | 352454 |
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb | SAT (MO) | 5446 | 1631.35 | 1632.83 | 352428 |
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb | SAT (MO) | 5966 | 1662.28 | 1662.8 | 352376 |
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb | SAT (MO) | 5889 | 1775.54 | 1776.2 | 352311 |
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb | SAT (MO) | 6062 | 1791.75 | 1792.38 | 352363 |
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) | 320.601 | 322.866 | 351895 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb | ? (MO) | 584.876 | 585.867 | 348715 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb | ? (MO) | 835.638 | 838.689 | 348013 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb | ? (MO) | 1221.61 | 1223.39 | 347857 |
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 | No Cert. | 0.000999 | 0.00525907 | 420279 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb | ? (TO) | 1800.1 | 1800.68 | 365760 | |
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb | ? (TO) | 1800.13 | 1800.85 | 365372 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb | Signal 6 (SIGABRT) | 5.06723 | 5.06993 | 349596 |