Instances of family k_lin_n solved by ssolveB
QBFEVAL'08

InstanceResultTime
k_lin_n-1SAT0.01
k_lin_n-2SAT0.04
k_lin_n-3SAT0.17
k_lin_n-4SAT0.46
k_lin_n-5SAT0.92
k_lin_n-6SAT1.78
k_lin_n-7SAT2.92
k_lin_n-8SAT4.52
k_lin_n-9SAT6.45
k_lin_n-10SAT8.72
k_lin_n-11SAT11.63
k_lin_n-12SAT15.51
k_lin_n-13SAT19.67
k_lin_n-14SAT25.46
k_lin_n-15SAT31.43
k_lin_n-16SAT38.57
k_lin_n-17SAT46.47
k_lin_n-18SAT54.44
k_lin_n-19SAT57.26
k_lin_n-20SAT66.76
k_lin_n-21SAT76.28