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

InstanceResultTime
k_grz_n-8SAT228.49
k_grz_n-21FAIL6000.27
k_grz_n-16FAIL6000.28
k_grz_n-20FAIL6000.32
k_grz_n-12FAIL6000.34