Instances of family k_dum_n solved by CSBJ
QBFEVAL'04

InstanceResultTime
k_dum_n-1SAT1.44
k_dum_n-3SAT154.44
k_dum_n-6FAIL901
k_dum_n-4FAIL901
k_dum_n-16FAIL901
k_dum_n-18FAIL901
k_dum_n-5FAIL901.01
k_dum_n-8FAIL901.01