Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb | UNSAT | 4953 | 0.018996 |
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb | UNSAT | 4952 | 0.020996 |
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb | UNSAT | 4964 | 0.145976 |
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb | UNSAT | 4956 | 0.184971 |
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb | UNSAT | 4957 | 1.41578 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb | UNKNOWN | 4695 | 545.701 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb | UNKNOWN | 4808 | 906.996 |
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 | 16010 | 0.138978 |
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-gfrd-pnc.opb | UNSAT | 19761 | 0.147977 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-khb05250.opb | UNSAT | 15612 | 0.221965 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-khb05250.opb | UNSAT | 18094 | 0.230964 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb | UNKNOWN | 16066 | 4.32834 |