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

InstanceResultTime
k_ph_n-1SAT0.04