Instances of family k_grz_p solved by qube3.0
QBFEVAL'06

InstanceResultTime
k_grz_p-4UNSAT180.77
k_grz_p-8UNSAT681.99
k_grz_p-20FAIL2593.61
k_grz_p-21FAIL2594.78
k_grz_p-16FAIL3578.57
k_grz_p-12FAIL5632