Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb | UNSAT | 8690 | 1.37479 |
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb | UNSAT | 4161 | 1.37879 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb | UNSAT | 1718 | 5.45317 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb | UNSAT | 3139 | 9.38157 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb | UNSAT | 3130 | 13.212 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb | UNSAT | 3123 | 13.5709 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb | UNSAT | 3126 | 14.9937 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb | UNSAT | 1717 | 15.9096 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb | UNSAT | 3125 | 16.1665 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb | UNSAT | 1719 | 22.5806 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb | UNKNOWN | 7298 | 553.435 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb | UNKNOWN | 8946 | 1218.71 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb | UNSAT | 8800 | 101.672 |
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb | UNSAT | 8945 | 117.668 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb | UNKNOWN | 7299 | 606.021 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb | OPT FOUND | 7355 | 2.19667 |
mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb | OPT FOUND | 7352 | 2.37264 |
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb | OPT FOUND | 4141 | 548.587 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb | UNKNOWN | 8908 | 392.981 |
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb | UNKNOWN | 4234 | 626.978 |
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb | UNKNOWN | 8788 | 836.498 |
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb | UNKNOWN | 4233 | 856.094 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb | UNKNOWN | 7293 | 239.593 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb | UNKNOWN | 4798 | 1204.18 |
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb | UNKNOWN | 4786 | 1208.31 |