Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb | UNSAT | 10332 | 0.004998 |
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb | UNSAT | 9992 | 0.007998 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb | UNSAT | 9669 | 0.170973 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb | UNSAT | 9649 | 0.497923 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb | UNSAT | 9660 | 0.625904 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb | UNSAT | 9647 | 0.669897 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb | UNSAT | 9564 | 0.78088 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb | UNSAT | 9566 | 1.20781 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb | UNSAT | 9565 | 1.22881 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb | UNSAT | 9651 | 10.5384 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb | UNKNOWN | 9666 | 110.868 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb | UNKNOWN | 9664 | 112.697 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb | UNKNOWN | 9667 | 135.705 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb | UNKNOWN | 9668 | 140.744 |
submitted/manquinho/logic-synthesis/normalized-apex4.a.opb | UNKNOWN | 9512 | 244.351 |
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb | UNKNOWN | 9687 | 330.342 |
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb | UNKNOWN | 9575 | 355.727 |
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb | UNKNOWN | 9576 | 495.681 |
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb | UNKNOWN | 9577 | 535.516 |
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb | UNKNOWN | 9597 | 933.721 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb | UNKNOWN | 10034 | 91.819 |
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb | UNKNOWN | 10420 | 92.128 |
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb | UNKNOWN | 10384 | 94.5546 |
submitted/een/normalized-mitre.opb | UNKNOWN | 9739 | 98.2251 |
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb | UNKNOWN | 10476 | 101.063 |
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb | UNKNOWN | 10088 | 101.093 |
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb | UNKNOWN | 10560 | 120.434 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb | UNKNOWN | 10599 | 136.17 |
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb | UNKNOWN | 10585 | 940.99 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb | UNKNOWN | 9993 | 116.929 |
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb | UNKNOWN | 10512 | 311.236 |
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb | UNKNOWN | 10528 | 326.055 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab1.opb | UNSAT | 10427 | 20.9068 |
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb | UNSAT | 10102 | 21.2048 |
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb | UNSAT | 10044 | 22.0866 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell4.opb | UNSAT | 10330 | 30.0934 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3b.opb | UNSAT | 10329 | 31.6882 |
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb | UNSAT | 10104 | 41.4557 |
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1_o.opb | UNSAT | 10487 | 45.1831 |
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1.opb | UNSAT | 10486 | 47.9457 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb | UNKNOWN | 9996 | 52.738 |
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fffff800.opb | UNKNOWN | 10264 | 82.7324 |
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scorpion.opb | UNKNOWN | 10297 | 86.8908 |
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb | UNKNOWN | 10284 | 104.342 |
mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb | UNKNOWN | 10160 | 669.139 |