Instances of family k_ph_n solved by QSAT
QBFEVAL'04

InstanceResultTime
k_ph_n-3SAT0.01
k_ph_n-1SAT0.01
k_ph_n-4SAT0.02
k_ph_n-6SAT0.6
k_ph_n-7SAT2.2
k_ph_n-8SAT9.52
k_ph_n-21UNSAT22.22
k_ph_n-15FAIL901