Sota solver results for family BMC
Prenex CNF Track


InstanceSolverResultTime
c1_BMC_p1_k2048Rareqs_2018SAT82.06
c1_BMC_p2_k1024Rareqs_2018UNSAT13.94
c1_BMC_p2_k2048Rareqs_2018UNSAT26.09
c2_BMC_p1_k2048Rareqs_2018SAT24.58
c3_BMC_p1_k256Rareqs_2018SAT5.92
c5_BMC_p1_k32Rareqs_2018SAT7.12
c6_BMC_p1_k1024Rareqs_2018SAT2.73
c6_BMC_p1_k2048Rareqs_2018SAT6.03
c6_BMC_p1_k512Rareqs_2018SAT1.22
c6_BMC_p2_k1024Rareqs_2018UNSAT2.79