Instances of family k_ph_p solved by QbflHR
QBFEVAL'05

InstanceResultTime
k_ph_p-4UNSAT1.64
k_ph_p-12FAIL893.88
k_ph_p-8FAIL894.11
k_ph_p-21FAIL900.98
k_ph_p-16FAIL900.98
k_ph_p-20FAIL900.99