Instances of family k_lin_n solved by GRL
QBFEVAL'04

InstanceResultTime
k_lin_n-1SAT0
k_lin_n-2SAT0.05
k_lin_n-3SAT0.85
k_lin_n-6SAT96.96
k_lin_n-7SAT263.81
k_lin_n-14FAIL901
k_lin_n-15FAIL901
k_lin_n-19FAIL901.01