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

InstanceResultTime
k_d4_n-7FAIL1200.04
k_d4_n-11FAIL1200.06
k_d4_n-14FAIL1200.07
k_d4_n-15FAIL1200.07
k_d4_n-18FAIL1200.07
k_d4_n-16FAIL1200.08
k_d4_n-20FAIL1200.08
k_d4_n-17FAIL1200.08
k_d4_n-19FAIL1200.08
k_d4_n-21FAIL1200.09