Instances of family k_lin_n solved by Nenofex
QBFEVAL'08

InstanceResultTime
k_lin_n-1SAT0
k_lin_n-2SAT0.12
k_lin_n-3SAT0.95
k_lin_n-4SAT2.29
k_lin_n-5SAT4.48
k_lin_n-6SAT5.83
k_lin_n-7SAT12.68
k_lin_n-8SAT23.54
k_lin_n-11SAT76.52
k_lin_n-9SAT90.19
k_lin_n-12SAT108.55
k_lin_n-13SAT162.93
k_lin_n-19FAIL181.4
k_lin_n-18FAIL200.58
k_lin_n-20FAIL225.93
k_lin_n-14SAT238.68
k_lin_n-21FAIL274.67
k_lin_n-17FAIL281.93
k_lin_n-16FAIL363.57
k_lin_n-10FAIL600
k_lin_n-15FAIL600