Instances of family k_ph_n solved by cqesto
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
k_ph_n-21SAT47.32