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

InstanceResultTime
k_t4p_p-1UNSAT0.82
k_t4p_p-3UNSAT0.88
k_t4p_p-4UNSAT0.9
k_t4p_p-2UNSAT0.9
k_t4p_p-5UNSAT0.99
k_t4p_p-7UNSAT1.01
k_t4p_p-6UNSAT1.04
k_t4p_p-8UNSAT1.05
k_t4p_p-9UNSAT1.16
k_t4p_p-10UNSAT1.25
k_t4p_p-11UNSAT1.31
k_t4p_p-13UNSAT1.32
k_t4p_p-12UNSAT1.38
k_t4p_p-14UNSAT1.4
k_t4p_p-16UNSAT1.4
k_t4p_p-15UNSAT1.53
k_t4p_p-17UNSAT1.54
k_t4p_p-19UNSAT1.64
k_t4p_p-20UNSAT1.67
k_t4p_p-18UNSAT1.75
k_t4p_p-21UNSAT1.86