Instances of family k_ph_n solved by semprop
QBFEVAL'05

InstanceResultTime
k_ph_n-4SAT0
k_ph_n-8SAT9.97
k_ph_n-21FAIL900.84
k_ph_n-20FAIL900.91
k_ph_n-16FAIL900.94
k_ph_n-12FAIL900.99