Instances of family k_d4_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_d4_n-6FAIL19.85
k_d4_n-9FAIL19.88
k_d4_n-14FAIL19.91
k_d4_n-8FAIL19.92
k_d4_n-16FAIL19.95
k_d4_n-12FAIL19.95
k_d4_n-15FAIL19.98
k_d4_n-13FAIL20