Instances of family k_ph_p solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
k_ph_p-3UNSAT0.8
k_ph_p-2UNSAT0.84
k_ph_p-4UNSAT0.86
k_ph_p-5UNSAT0.88
k_ph_p-6UNSAT1.15
k_ph_p-7UNSAT1.37
k_ph_p-1UNSAT1.56
k_ph_p-8UNSAT4.88
k_ph_p-9UNSAT7.73
k_ph_p-10UNSAT107.79
k_ph_p-11FAIL599.65
k_ph_p-20FAIL600
k_ph_p-14FAIL600
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