Instances of family k_grz_p solved by ssolve-ut
QBFEVAL'06

InstanceResultTime
k_grz_p-4UNSAT4.04
k_grz_p-8UNSAT243.41
k_grz_p-20FAIL6000.18
k_grz_p-16FAIL6000.26
k_grz_p-21FAIL6000.26
k_grz_p-12FAIL6000.28