Sota solver results for family k_t4p_p
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
k_t4p_p-10caqe-portfolioUNSAT0.32
k_t4p_p-12caqe-portfolioUNSAT0.32
k_t4p_p-15caqe-portfolioUNSAT0.44
k_t4p_p-16caqe-portfolioUNSAT0.42
k_t4p_p-17caqe-portfolioUNSAT0.52
k_t4p_p-18caqe-portfolioUNSAT0.53
k_t4p_p-20caqe-portfolioUNSAT0.52
k_t4p_p-4caqe-portfolioUNSAT0.12
k_t4p_p-6caqe-portfolioUNSAT0.22
k_t4p_p-9caqe-portfolioUNSAT0.32