Instances of family k_grz_p solved by QUANTOR
QBFEVAL'06

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