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

InstanceResultTime
k_grz_p-4FAIL6.22
k_grz_p-12UNSAT17.55
k_grz_p-16UNSAT143.47
k_grz_p-21UNSAT224.59
k_grz_p-20FAIL346.02
k_grz_p-8UNSAT500.85