Instances of family k_dum_p solved by aigqbf_s
QBFEVAL'07

InstanceResultTime
k_dum_p-12UNSAT1.48
k_dum_p-16UNSAT2.42
k_dum_p-20UNSAT3.76
k_dum_p-21UNSAT4.1