Instances of family k_dum_n solved by yQuaffle
QBFEVAL'06

InstanceResultTime
k_dum_n-20FAIL5999.42
k_dum_n-21FAIL5999.45
k_dum_n-16FAIL5999.74
k_dum_n-12FAIL5999.76
k_dum_n-8FAIL5999.85