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

InstanceResultTime
c5_BMC_p1_k32SAT24.6
c1_BMC_p2_k1024UNSAT74.2
c1_BMC_p2_k2048UNSAT108.51
c3_BMC_p1_k256SAT210.12
c2_BMC_p1_k2048SAT554.83
c5_BMC_p2_k1024FAIL896.2
c5_BMC_p2_k128FAIL896.51
c5_BMC_p2_k512FAIL896.62
c5_BMC_p1_k128FAIL896.8
c5_BMC_p2_k64FAIL896.81
c1_BMC_p1_k2048FAIL896.81
c5_BMC_p2_k256FAIL896.91
c5_BMC_p1_k64FAIL896.91