Instances of family k_lin_n solved by yQuaffle
QBFEVAL'06

InstanceResultTime
k_lin_n-4SAT5.05
k_lin_n-8SAT87.53
k_lin_n-21FAIL2022.6
k_lin_n-20FAIL2091.27
k_lin_n-16FAIL2530.71
k_lin_n-12SAT2729.85