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

InstanceResultTime
k_ph_n-1SAT0