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

InstanceResultTime
k_grz_n-4SAT3.79
k_grz_n-8SAT4.34
k_grz_n-21FAIL8.4
k_grz_n-12FAIL167.26
k_grz_n-20FAIL815.6
k_grz_n-16FAIL885.87