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

InstanceResultTime
k_d4_n-18FAIL1200.16
k_d4_n-7FAIL1200.16
k_d4_n-14FAIL1200.16
k_d4_n-11FAIL1200.17
k_d4_n-20FAIL1200.17
k_d4_n-17FAIL1200.17
k_d4_n-19FAIL1200.17
k_d4_n-21FAIL1200.17
k_d4_n-15FAIL1200.17
k_d4_n-16FAIL1200.18