Instances of family k_ph_n solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
k_ph_n-21SAT23.36