Instances of family k_lin_n solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
k_lin_n-4UNSAT0.02
k_lin_n-8UNSAT0.08
k_lin_n-12UNSAT0.33
k_lin_n-16UNSAT0.87
k_lin_n-20UNSAT1.85
k_lin_n-21UNSAT2.29