Instances of family k_lin_n solved by ssolveC
QBFEVAL'08

InstanceResultTime
k_lin_n-1SAT0.01
k_lin_n-2SAT0.04
k_lin_n-3SAT0.14
k_lin_n-4SAT0.38
k_lin_n-5SAT0.81
k_lin_n-6SAT1.52
k_lin_n-7SAT2.33
k_lin_n-8SAT3.68
k_lin_n-9SAT5.3
k_lin_n-10SAT7.46
k_lin_n-11SAT10.21
k_lin_n-12SAT13.33
k_lin_n-13SAT16.83
k_lin_n-14SAT21.69
k_lin_n-15SAT26.9
k_lin_n-16SAT32.85
k_lin_n-17SAT39.38
k_lin_n-18SAT46.8
k_lin_n-19SAT47.89
k_lin_n-20SAT56.21
k_lin_n-21SAT66.42