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

InstanceResultTime
k_ph_n-1SAT0.01
k_ph_n-3SAT0.02
k_ph_n-4SAT0.02
k_ph_n-6SAT0.03
k_ph_n-8SAT0.06
k_ph_n-9SAT0.06
k_ph_n-11SAT0.11
k_ph_n-14SAT0.41
k_ph_n-16SAT1.05
k_ph_n-21SAT24.62