Instances of family k_ph_p solved by QSAT
QBFEVAL'04

InstanceResultTime
k_ph_p-3UNSAT0
k_ph_p-4UNSAT0.03
k_ph_p-20UNSAT8.86
k_ph_p-19UNSAT78.25
k_ph_p-7UNSAT284.47
k_ph_p-15FAIL901
k_ph_p-14FAIL901.01
k_ph_p-17FAIL901.01