Instances of family k_lin_n solved by EBDDRES
QBFEVAL'07

InstanceResultTime
k_lin_n-21FAIL31.3
k_lin_n-16FAIL31.41
k_lin_n-20FAIL31.52