Instances of family k_ph_p solved by ssolve-A
QBFEVAL'08

InstanceResultTime
k_ph_p-2UNSAT0
k_ph_p-1UNSAT0.01
k_ph_p-3UNSAT0.02
k_ph_p-4UNSAT0.03
k_ph_p-5UNSAT0.19
k_ph_p-6UNSAT2.05
k_ph_p-7UNSAT29.78
k_ph_p-8FAIL600
k_ph_p-9FAIL600
k_ph_p-16FAIL600
k_ph_p-10FAIL600
k_ph_p-11FAIL600
k_ph_p-21FAIL600
k_ph_p-17FAIL600
k_ph_p-19FAIL600
k_ph_p-18FAIL600
k_ph_p-13FAIL600
k_ph_p-20FAIL600
k_ph_p-14FAIL600
k_ph_p-12FAIL600
k_ph_p-15FAIL600