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

InstanceResultTime
k_d4_p-6UNSAT165.1
k_d4_p-7FAIL1200.02
k_d4_p-11FAIL1200.03
k_d4_p-10FAIL1200.04
k_d4_p-21FAIL1200.06