Instances of family k_grz_p solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_grz_p-4UNSAT0.81
k_grz_p-3UNSAT0.84
k_grz_p-9UNSAT8.93
k_grz_p-10UNSAT10.66
k_grz_p-14UNSAT27.76
k_grz_p-16UNSAT33.34
k_grz_p-17UNSAT35.41
k_grz_p-19FAIL38.16