Instances of family k_dum_n solved by QSAT
QBFEVAL'04

InstanceResultTime
k_dum_n-1SAT0.05
k_dum_n-3SAT1.41
k_dum_n-4SAT5.79
k_dum_n-5SAT44.25
k_dum_n-6SAT178.51
k_dum_n-16FAIL901
k_dum_n-8FAIL901.01
k_dum_n-18FAIL901.01