Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb | UNSAT | 6040 | 0.032994 |
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb | UNSAT | 3862 | 0.034994 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb | UNSAT | 2142 | 0.074988 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb | UNSAT | 2136 | 0.185971 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb | UNSAT | 2130 | 0.19497 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb | UNSAT | 2129 | 0.211967 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb | UNSAT | 1419 | 0.287955 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb | UNSAT | 1421 | 0.313951 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb | UNSAT | 1420 | 0.344947 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb | UNSAT | 2131 | 1.27281 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb | UNKNOWN | 6267 | 149.249 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb | UNKNOWN | 5869 | 192.745 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb | UNKNOWN | 5886 | 69.1595 |
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb | UNKNOWN | 6277 | 244.916 |
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb | UNKNOWN | 6159 | 256.192 |
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb | UNKNOWN | 6102 | 287.526 |
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb | UNKNOWN | 6283 | 1013.21 |
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb | UNKNOWN | 6284 | 1053.29 |
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb | UNKNOWN | 6285 | 1093.21 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb | UNKNOWN | 5892 | 350.837 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb | UNKNOWN | 2593 | 9.50055 |
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb | UNKNOWN | 2631 | 9.8715 |
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb | UNKNOWN | 5865 | 40.7578 |
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb | UNKNOWN | 5864 | 41.0108 |
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb | UNKNOWN | 2635 | 362.832 |
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb | UNKNOWN | 6301 | 646.088 |
mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb | UNKNOWN | 6261 | 646.359 |
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb | UNKNOWN | 2599 | 745.676 |
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb | UNKNOWN | 2600 | 1178.7 |