Instances of family k_t4p_n solved by qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_t4p_n-2SAT0.02
k_t4p_n-5SAT0.05
k_t4p_n-13SAT0.14
k_t4p_n-14SAT0.16
k_t4p_n-15SAT0.16