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

InstanceResultTime
k_grz_p-4UNSAT9.92
k_grz_p-8UNSAT60.51
k_grz_p-12UNSAT312.97
k_grz_p-20FAIL3713.98
k_grz_p-21FAIL4210.08
k_grz_p-16FAIL6000.02