Instances of family k_grz_n solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
k_grz_n-20UNSAT0
k_grz_n-12UNSAT0
k_grz_n-21UNSAT0.01
k_grz_n-16UNSAT0.01
k_grz_n-8UNSAT0.02