Instances of family k_t4p_n solved by Nenofex
QBFEVAL'08

InstanceResultTime
k_t4p_n-1SAT0.18
k_t4p_n-2SAT1.04
k_t4p_n-19FAIL35.95
k_t4p_n-7FAIL36.57
k_t4p_n-18FAIL37
k_t4p_n-4FAIL38.52
k_t4p_n-14FAIL38.97
k_t4p_n-16FAIL39.33
k_t4p_n-6FAIL41.63
k_t4p_n-13FAIL42.05
k_t4p_n-11FAIL45.16
k_t4p_n-15FAIL52.54
k_t4p_n-20FAIL65.28
k_t4p_n-10FAIL65.48
k_t4p_n-5FAIL67.4
k_t4p_n-8FAIL81.2
k_t4p_n-17FAIL81.5
k_t4p_n-9FAIL85.33
k_t4p_n-21FAIL104.78
k_t4p_n-12FAIL119.84
k_t4p_n-3SAT474.41