Instances of family k_grz_n solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
k_grz_n-4SAT0.43
k_grz_n-16FAIL2.42
k_grz_n-21FAIL2.91
k_grz_n-20FAIL3.14
k_grz_n-8SAT5.41
k_grz_n-12FAIL31.74