Instances of family k_d4_n solved by openQbf
QBFEVAL'05

InstanceResultTime
k_d4_n-4FAIL900.85
k_d4_n-12FAIL900.9
k_d4_n-8FAIL900.91
k_d4_n-21FAIL900.93
k_d4_n-20FAIL900.95
k_d4_n-16FAIL900.98