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

InstanceResultTime
k_grz_n-8SAT223.95
k_grz_n-12FAIL5999.91
k_grz_n-16FAIL6000.01
k_grz_n-21FAIL6000.02
k_grz_n-20FAIL6000.08