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

InstanceResultTime
c5_BMC_p1_k32SAT39.47
c1_BMC_p2_k1024UNSAT298.12
c1_BMC_p2_k2048UNSAT363.94
c5_BMC_p2_k64FAIL858.92
c3_BMC_p1_k256FAIL860.59
c5_BMC_p1_k64FAIL862.53
c5_BMC_p2_k128FAIL865.68
c5_BMC_p1_k128FAIL870.49
c5_BMC_p2_k512FAIL893.25
c5_BMC_p2_k1024FAIL900
c1_BMC_p1_k2048FAIL900
c5_BMC_p2_k256FAIL900
c2_BMC_p1_k2048FAIL900