Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb | UNKNOWN | 38553 | 932.846 |
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb | UNKNOWN | 38554 | 966.062 |
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb | UNKNOWN | 38556 | 1146.24 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb | UNSAT | 39334 | 5.00024 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb | UNSAT | 39333 | 5.06423 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb | UNKNOWN | 39128 | 0.016996 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb | UNKNOWN | 39209 | 0.024995 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb | UNKNOWN | 39093 | 0.026995 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb | UNKNOWN | 39130 | 0.099983 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb | UNKNOWN | 39253 | 0.099984 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb | UNKNOWN | 39132 | 0.100984 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb | UNKNOWN | 39131 | 0.101984 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb | OPT FOUND | 39174 | 4.07138 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb | OPT FOUND | 39353 | 5.84411 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb | OPT FOUND | 39361 | 8.81066 |
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb | OPT FOUND | 38976 | 8.81166 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb | SAT | 39015 | 1189.13 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb | SAT | 39372 | 1191.02 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb | UNKNOWN | 39221 | 1200.22 |
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb | UNKNOWN | 39057 | 1200.24 |
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb | UNKNOWN | 39084 | 1200.31 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb | UNKNOWN | 39102 | 1200.38 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb | UNKNOWN | 38788 | 801.219 |
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb | UNKNOWN | 38856 | 810.011 |