Instances of family k_lin_n solved by QSAT
QBFEVAL'04

InstanceResultTime
k_lin_n-1SAT0.01
k_lin_n-2SAT0.22
k_lin_n-3SAT3.11
k_lin_n-6SAT178.53
k_lin_n-7SAT356.01
k_lin_n-14FAIL901
k_lin_n-15FAIL901
k_lin_n-19FAIL901.01