Instances of family k_ph_n solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_ph_n-1SAT0
k_ph_n-4SAT0
k_ph_n-3SAT0
k_ph_n-6SAT0.06
k_ph_n-8SAT0.78
k_ph_n-9SAT2.32
k_ph_n-11SAT15.52
k_ph_n-14SAT168.91
k_ph_n-21FAIL599.71
k_ph_n-16FAIL599.71