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

InstanceResultTime
k_grz_p-4UNSAT4.61
k_grz_p-8UNSAT247.62
k_grz_p-16FAIL5999.93
k_grz_p-20FAIL5999.99
k_grz_p-21FAIL6000.1
k_grz_p-12FAIL6000.24