Instances of family k_ph_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_ph_n-3SAT0
k_ph_n-1SAT0
k_ph_n-4SAT0.02
k_ph_n-6SAT0.07
k_ph_n-7SAT0.16
k_ph_n-8SAT0.68
k_ph_n-15FAIL901
k_ph_n-21FAIL901.01