Instances of family k_lin_n solved by openQbf
QBFEVAL'04

InstanceResultTime
k_lin_n-1SAT0.18
k_lin_n-2SAT219.82
k_lin_n-19FAIL901
k_lin_n-6FAIL901
k_lin_n-14FAIL901
k_lin_n-15FAIL901
k_lin_n-7FAIL901
k_lin_n-3FAIL901.01