Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb | UNSAT | 4261 | 0.12198 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb | UNSAT | 9157 | 0.12498 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb | UNSAT | 3439 | 0.229964 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb | UNSAT | 3428 | 1.18182 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb | UNSAT | 3420 | 1.44678 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb | UNSAT | 3419 | 16.2915 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb | UNSAT | 3418 | 16.3135 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb | UNSAT | 1817 | 16.3735 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb | UNSAT | 1818 | 16.4325 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb | UNSAT | 1816 | 16.5045 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
submitted/een/normalized-pk1.opb | SAT | 3498 | 0.963853 |
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb | SAT | 4927 | 394.595 |
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb | SAT | 9326 | 396.625 |
submitted/een/normalized-mitre.opb | SAT | 3505 | 438.891 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb | OPT FOUND | 9376 | 15.3187 |
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb | OPT FOUND | 8991 | 15.4317 |
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb | OPT FOUND | 3712 | 943.861 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
submitted/manquinho/routing/normalized-s4-4-3-6pb.opb | UNSAT | 3465 | 331.533 |
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb | UNSAT | 1847 | 581.297 |
submitted/manquinho/routing/normalized-s4-4-3-2pb.opb | UNSAT | 3470 | 642.778 |
submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb | UNSAT | 3467 | 674.058 |
submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb | UNSAT | 3462 | 835.244 |
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb | UNSAT | 1858 | 908.331 |
submitted/manquinho/routing/normalized-s4-4-3-5pb.opb | UNSAT | 3488 | 1151.85 |