Instances of family k_grz_p solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
k_grz_p-12UNSAT0
k_grz_p-4UNSAT0.01
k_grz_p-8UNSAT0.01
k_grz_p-21UNSAT0.01
k_grz_p-16UNSAT0.02
k_grz_p-20UNSAT0.03