Instances of family BMC solved by caqe_2017_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
c3_BMC_p1_k256SAT7.94
c5_BMC_p1_k32SAT8.67
c1_BMC_p2_k1024UNSAT14.19
c1_BMC_p2_k2048UNSAT26.46
c2_BMC_p1_k2048SAT33.11
c1_BMC_p1_k2048SAT122.83
c5_BMC_p1_k64FAIL900
c5_BMC_p2_k1024FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k256FAIL900
c5_BMC_p2_k512FAIL900
c5_BMC_p2_k64FAIL900
c5_BMC_p1_k128FAIL900