Instances of family k_d4_n solved by QMRes
QBFEVAL'05

InstanceResultTime
k_d4_n-4SAT0.38
k_d4_n-8SAT1.6
k_d4_n-12SAT4.27
k_d4_n-16SAT7.32
k_d4_n-20SAT10.98
k_d4_n-21SAT12.25