Instances of family k_grz_p solved by CSBJ
QBFEVAL'04

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