Instances of family k_lin_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_lin_n-1SAT0
k_lin_n-2SAT0.02
k_lin_n-3SAT0.09
k_lin_n-6SAT68.56
k_lin_n-7SAT227.38
k_lin_n-15FAIL901.02
k_lin_n-14FAIL901.02
k_lin_n-19FAIL901.03