Instances of family k_grz_p solved by Quaffle
QBFEVAL'06

InstanceResultTime
k_grz_p-4UNSAT4.41
k_grz_p-8UNSAT36.53
k_grz_p-12UNSAT159.17
k_grz_p-16UNSAT458.1
k_grz_p-21FAIL564.74
k_grz_p-20FAIL565.33