Instances of family k_t4p_p solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_t4p_p-4UNSAT26.89
k_t4p_p-6FAIL317.76
k_t4p_p-9FAIL334.34
k_t4p_p-15FAIL345.45
k_t4p_p-12FAIL348.65
k_t4p_p-20FAIL358.87
k_t4p_p-16FAIL390.24
k_t4p_p-18FAIL391.15
k_t4p_p-10FAIL394.55
k_t4p_p-17FAIL406.07