Instances of family k_ph_n solved by Quaffle
QBFEVAL'06

InstanceResultTime
k_ph_n-8SAT0.3
k_ph_n-12SAT3.23
k_ph_n-16SAT45.65