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

InstanceResultTime
k_ph_n-4SAT0
k_ph_n-3SAT0
k_ph_n-1SAT0
k_ph_n-8SAT0.01
k_ph_n-6SAT0.01
k_ph_n-9SAT0.02
k_ph_n-11SAT0.05
k_ph_n-14SAT0.23
k_ph_n-16SAT0.58
k_ph_n-21SAT22.93