Instances of family k_lin_n solved by QMRes
QBFEVAL'04

InstanceResultTime
k_lin_n-1SAT0.01
k_lin_n-2SAT0.1
k_lin_n-3SAT0.84
k_lin_n-6SAT575.86
k_lin_n-15FAIL901
k_lin_n-7FAIL901
k_lin_n-14FAIL901
k_lin_n-19FAIL901.01