Instances of family k_ph_p solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
k_ph_p-1UNSAT0.01
k_ph_p-2UNSAT0.03
k_ph_p-3UNSAT0.04
k_ph_p-4UNSAT0.04
k_ph_p-5UNSAT0.05
k_ph_p-6UNSAT0.12
k_ph_p-7UNSAT0.4
k_ph_p-8UNSAT0.96
k_ph_p-9UNSAT5.67
k_ph_p-10UNSAT51
k_ph_p-11UNSAT126.44
k_ph_p-12FAIL600
k_ph_p-15FAIL600
k_ph_p-16FAIL600
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