Instances of family k_ph_n solved by openQbf
QBFEVAL'06

InstanceResultTime
k_ph_n-12FAIL6000.51
k_ph_n-16FAIL6000.84
k_ph_n-8FAIL6000.84