Instances of family k_t4p_p solved by yQuaffle
QBFEVAL'04

InstanceResultTime
k_t4p_p-1UNSAT0.14
k_t4p_p-19FAIL244.11
k_t4p_p-18FAIL263.46
k_t4p_p-16FAIL314.06
k_t4p_p-15FAIL346.54
k_t4p_p-12FAIL488.9
k_t4p_p-10FAIL646.27
k_t4p_p-4FAIL901