Instances of family k_dum_n solved by yQuaffle
QBFEVAL'05

InstanceResultTime
k_dum_n-4SAT11.96
k_dum_n-16FAIL900.46
k_dum_n-21FAIL900.53
k_dum_n-20FAIL900.56
k_dum_n-8FAIL900.59
k_dum_n-12FAIL900.62