Instances of family k_t4p_p solved by quantor-3.1
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_t4p_p-4UNSAT0.05
k_t4p_p-8FAIL29.99
k_t4p_p-21FAIL34.07
k_t4p_p-20FAIL52.35
k_t4p_p-12FAIL125.24