Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb | UNSAT | 35116 | 0.003998 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb | UNSAT | 35503 | 0.003998 |
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb | UNSAT | 34835 | 41.8286 |
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb | UNSAT | 34855 | 298.8 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb | UNSAT | 35460 | 41.8086 |
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb | UNSAT | 35467 | 85.83 |
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb | UNSAT | 35470 | 102.443 |
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb | UNSAT | 35484 | 176.094 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb | UNKNOWN | 35472 | 1128.38 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1.opb | UNSAT | 35667 | 112.23 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1_o.opb | UNSAT | 35669 | 114.171 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb | UNSAT | 35290 | 232.098 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb | UNSAT | 35293 | 273.453 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb | UNSAT | 35220 | 1137.03 |