Instances of family k_grz_p solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
k_grz_p-4UNSAT9.94
k_grz_p-8UNSAT91.21
k_grz_p-21FAIL889.25
k_grz_p-20FAIL889.97
k_grz_p-12FAIL900.28
k_grz_p-16FAIL900.29