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

InstanceResultTime
c2_BMC_p1_k2048FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k64FAIL900