Instances of family BMC solved by qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
c4_BMC_p2_k128UNSAT0.09
c1_BMC_p1_k4UNSAT0.42
c5_BMC_p1_k32UNSAT0.85
c3_BMC_p1_k256UNSAT1.02
c5_BMC_p2_k64UNSAT1.28
c5_BMC_p2_k128UNSAT2.17
c4_BMC_p1_k32UNSAT3.08
c1_BMC_p2_k512UNSAT11.28
c1_BMC_p2_k1024UNSAT21.47
c2_BMC_p1_k2048FAIL598.01