Instances of family k_lin_n solved by Quaffle
QBFEVAL'06

InstanceResultTime
k_lin_n-4SAT0.37
k_lin_n-8SAT2.78
k_lin_n-12SAT15.94
k_lin_n-16SAT23.19
k_lin_n-20SAT114.2
k_lin_n-21SAT121.63