Instances of family k_dum_n solved by GRL
QBFEVAL'04

InstanceResultTime
k_dum_n-1SAT0.04
k_dum_n-3SAT0.34
k_dum_n-4SAT2.1
k_dum_n-5SAT26.31
k_dum_n-6SAT451.21
k_dum_n-16FAIL901
k_dum_n-8FAIL901
k_dum_n-18FAIL901