Instances of family k_dum_p solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
k_dum_p-12UNSAT2.63
k_dum_p-16UNSAT3.98
k_dum_p-20UNSAT5.59
k_dum_p-21UNSAT5.98