Sota solver results for family BMC
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
c1_BMC_p1_k2048rareqsSAT80.32
c1_BMC_p2_k1024AIGSolveUNSAT8.73
c1_BMC_p2_k2048AIGSolveUNSAT19.23
c2_BMC_p1_k2048rareqsSAT23.64
c3_BMC_p1_k256ijtihad_v1SAT4.71
c5_BMC_p1_k32ijtihad_v1SAT1.8