Instances of family k_d4_p solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
k_d4_p-3UNSAT1.32
k_d4_p-19FAIL901.03
k_d4_p-7FAIL901.03
k_d4_p-13FAIL901.03
k_d4_p-14FAIL901.03
k_d4_p-16FAIL901.03
k_d4_p-17FAIL901.03
k_d4_p-6FAIL901.04