Instances of family k_dum_p solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_dum_p-2FAIL0.05
k_dum_p-3FAIL0.05
k_dum_p-4FAIL0.06
k_dum_p-6FAIL0.07
k_dum_p-12FAIL0.12
k_dum_p-16FAIL0.15
k_dum_p-17FAIL0.15
k_dum_p-20FAIL0.17
k_dum_p-21FAIL0.18
k_dum_p-14FAIL0.29