Instance | Result | Time | |
---|---|---|---|
c4_BMC_p1_k512 | SAT | 1.48 | |
c4_BMC_p1_k1024 | SAT | 2.7 | |
c4_BMC_p1_k2048 | SAT | 4.56 | |
c4_BMC_p2_k2048 | UNSAT | 5.26 | |
c6_BMC_p2_k64 | UNSAT | 9.09 | |
c6_BMC_p2_k128 | UNSAT | 10.63 | |
c6_BMC_p1_k256 | SAT | 12.36 | |
c3_BMC_p2_k512 | UNSAT | 25.69 | |
c6_BMC_p1_k1024 | SAT | 26.55 | |
c3_BMC_p2_k1024 | UNSAT | 35.62 | |
c3_BMC_p1_k256 | SAT | 62.4 | |
c3_BMC_p2_k2048 | UNSAT | 64.52 | |
c1_BMC_p2_k8 | UNSAT | 113.61 | |
c1_BMC_p2_k128 | UNSAT | 765.18 | |
c1_BMC_p1_k2048 | FAIL | 1200 | |
c1_BMC_p2_k1024 | FAIL | 1200 | |
c5_BMC_p1_k32 | FAIL | 1200.07 | |
c6_BMC_p2_k2048 | FAIL | 1200.63 |