Instances of family k_lin_n solved by CLearn
QBFEVAL'04

InstanceResultTime
k_lin_n-1SAT0.01
k_lin_n-2SAT0.04
k_lin_n-3SAT0.26
k_lin_n-6SAT23.37
k_lin_n-7SAT35.51
k_lin_n-19FAIL901
k_lin_n-14FAIL901
k_lin_n-15FAIL901