Instances of family k_ph_n solved by hiqqer1
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
k_ph_n-1SAT0.04