Instances of family k_grz_p solved by QSAT
QBFEVAL'04

InstanceResultTime
k_grz_p-14FAIL901
k_grz_p-16FAIL901
k_grz_p-9FAIL901
k_grz_p-19FAIL901
k_grz_p-17FAIL901.01
k_grz_p-4FAIL901.01
k_grz_p-3FAIL901.01
k_grz_p-10FAIL901.01