Instances of family k_ph_p solved by QMRes
QBFEVAL'04

InstanceResultTime
k_ph_p-3UNSAT0.04
k_ph_p-4UNSAT0.12
k_ph_p-20FAIL28.26
k_ph_p-7FAIL901
k_ph_p-15FAIL901.01
k_ph_p-14FAIL901.02
k_ph_p-17FAIL901.02
k_ph_p-19FAIL901.02