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

InstanceResultTime
k_d4_p-3UNSAT0.82
k_d4_p-1UNSAT0.85
k_d4_p-4UNSAT0.88
k_d4_p-2UNSAT0.9
k_d4_p-6UNSAT0.93
k_d4_p-5UNSAT0.94
k_d4_p-7UNSAT0.95
k_d4_p-8UNSAT0.98
k_d4_p-9UNSAT0.98
k_d4_p-10UNSAT1.06
k_d4_p-11UNSAT1.09
k_d4_p-12UNSAT1.12
k_d4_p-14UNSAT1.16
k_d4_p-13UNSAT1.24
k_d4_p-16UNSAT1.25
k_d4_p-15UNSAT1.26
k_d4_p-17UNSAT1.33
k_d4_p-18UNSAT1.36
k_d4_p-19UNSAT1.44
k_d4_p-20UNSAT1.46
k_d4_p-21UNSAT1.5