Instances of family k_ph_p solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
k_ph_p-11UNSAT66.95
k_ph_p-13UNSAT111.66
k_ph_p-12UNSAT136.49
k_ph_p-14UNSAT149.21
k_ph_p-15UNSAT209.41
k_ph_p-20FAIL900
k_ph_p-21FAIL900
k_ph_p-17FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900