Instances of family BMC solved by QuBE7-c
QBFEVAL'10 - Competitive Track.

InstanceResultTime
c4_BMC_p1_k512SAT1.48
c4_BMC_p1_k1024SAT2.7
c4_BMC_p1_k2048SAT4.56
c4_BMC_p2_k2048UNSAT5.26
c6_BMC_p2_k64UNSAT9.09
c6_BMC_p2_k128UNSAT10.63
c6_BMC_p1_k256SAT12.36
c3_BMC_p2_k512UNSAT25.69
c6_BMC_p1_k1024SAT26.55
c3_BMC_p2_k1024UNSAT35.62
c3_BMC_p1_k256SAT62.4
c3_BMC_p2_k2048UNSAT64.52
c1_BMC_p2_k8UNSAT113.61
c1_BMC_p2_k128UNSAT765.18
c1_BMC_p1_k2048FAIL1200
c1_BMC_p2_k1024FAIL1200
c5_BMC_p1_k32FAIL1200.07
c6_BMC_p2_k2048FAIL1200.63