Instances of family k_d4_n solved by qmaiga
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_d4_n-7SAT0.57
k_d4_n-11SAT1.1
k_d4_n-15SAT1.46
k_d4_n-14SAT1.46
k_d4_n-16SAT1.56
k_d4_n-17SAT1.72
k_d4_n-18SAT1.85
k_d4_n-19SAT2.04
k_d4_n-20SAT2.11
k_d4_n-21SAT2.25