Instances of family k_t4p_p solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
k_t4p_p-4UNSAT11.76
k_t4p_p-8UNSAT24.04
k_t4p_p-12UNSAT37.69
k_t4p_p-16UNSAT53.44
k_t4p_p-20UNSAT70.74
k_t4p_p-21UNSAT75.5