Instances of family k_ph_n solved by hordeqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_ph_n-6SAT1.05
k_ph_n-1SAT1.05
k_ph_n-3SAT1.05
k_ph_n-8SAT1.06
k_ph_n-9SAT1.06
k_ph_n-4SAT1.06
k_ph_n-11SAT1.09
k_ph_n-14SAT3.15
k_ph_n-16SAT23.29
k_ph_n-21SAT93.36