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

InstanceResultTime
c5_BMC_p1_k32SAT24.44
c1_BMC_p2_k1024UNSAT75.14
c1_BMC_p2_k2048UNSAT108.72
c3_BMC_p1_k256SAT206.27
c2_BMC_p1_k2048SAT444.1
c5_BMC_p2_k512FAIL900
c5_BMC_p2_k64FAIL900
c5_BMC_p1_k128FAIL900
c5_BMC_p1_k64FAIL900
c1_BMC_p1_k2048FAIL900
c5_BMC_p2_k1024FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k256FAIL900