Instances of family k_grz_p solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_grz_p-4UNSAT0.55
k_grz_p-5UNSAT0.56
k_grz_p-11UNSAT0.69
k_grz_p-10UNSAT2.13
k_grz_p-13UNSAT4.69
k_grz_p-12UNSAT4.79
k_grz_p-17UNSAT6.35
k_grz_p-16UNSAT6.96
k_grz_p-18UNSAT7.03
k_grz_p-19UNSAT7.54