Instances of family k_t4p_p solved by Nenofex
QBFEVAL'08

InstanceResultTime
k_t4p_p-1UNSAT0.18
k_t4p_p-2UNSAT0.38
k_t4p_p-3UNSAT1.16
k_t4p_p-4UNSAT1.25
k_t4p_p-5UNSAT2.85
k_t4p_p-8UNSAT27.49
k_t4p_p-10FAIL57.05
k_t4p_p-19FAIL57.22
k_t4p_p-18FAIL63.1
k_t4p_p-9FAIL70.07
k_t4p_p-20FAIL80.37
k_t4p_p-14FAIL80.81
k_t4p_p-6UNSAT90.1
k_t4p_p-17FAIL91
k_t4p_p-7FAIL104
k_t4p_p-21FAIL113.56
k_t4p_p-16FAIL138.72
k_t4p_p-12FAIL160.32
k_t4p_p-15FAIL205.47
k_t4p_p-13FAIL213.1
k_t4p_p-11FAIL405.05