Instances of family k_t4p_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_t4p_n-2SAT0.05
k_t4p_n-5SAT1.11
k_t4p_n-13FAIL23.74
k_t4p_n-14FAIL26.1
k_t4p_n-18FAIL29.24
k_t4p_n-17FAIL30.79
k_t4p_n-19FAIL46.26
k_t4p_n-15FAIL103.88