Instances of family k_dum_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_dum_n-1SAT0
k_dum_n-4SAT0
k_dum_n-5SAT0.01
k_dum_n-6SAT0.01
k_dum_n-3SAT0.02
k_dum_n-8SAT0.02
k_dum_n-16SAT0.03
k_dum_n-18SAT0.19