Instances of family k_t4p_p solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_t4p_p-1UNSAT0.01
k_t4p_p-4UNSAT0.07
k_t4p_p-10UNSAT15.46
k_t4p_p-18FAIL17.78
k_t4p_p-16FAIL20.4
k_t4p_p-12FAIL20.64
k_t4p_p-15UNSAT59.81
k_t4p_p-19FAIL76.72