Instances of family k_d4_n solved by QSAT
QBFEVAL'04

InstanceResultTime
k_d4_n-16FAIL901
k_d4_n-8FAIL901
k_d4_n-6FAIL901
k_d4_n-9FAIL901
k_d4_n-15FAIL901.01
k_d4_n-12FAIL901.01
k_d4_n-13FAIL901.01
k_d4_n-14FAIL901.01