Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb | UNSAT | 6289 | 0.017996 |
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb | UNSAT | 6288 | 0.023995 |
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb | UNSAT | 6303 | 0.146977 |
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb | UNSAT | 6292 | 0.18697 |
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb | UNSAT | 6293 | 1.43978 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb | UNSAT | 21597 | 9.08162 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb | UNSAT | 18515 | 9.15761 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/submitted/een/normalized-p0282.opb | OPT FOUND | 6996 | 1185.54 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ganges.opb | UNSAT | 19765 | 0.141977 |
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-gfrd-pnc.opb | UNSAT | 19759 | 0.153976 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-khb05250.opb | UNSAT | 15609 | 0.228964 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-khb05250.opb | UNSAT | 15054 | 0.232964 |