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


InstanceSolverResultTime
k_path_p-10caqe-portfolioUNSAT0.22
k_path_p-13caqe-portfolioUNSAT0.22
k_path_p-14caqe-portfolioUNSAT0.22
k_path_p-15caqe-portfolioUNSAT0.22
k_path_p-16caqe-portfolioUNSAT0.32
k_path_p-18caqe-portfolioUNSAT0.32
k_path_p-19caqe-portfolioUNSAT0.32
k_path_p-2caqe-portfolioUNSAT0.12
k_path_p-21caqe-portfolioUNSAT0.32
k_path_p-5caqe-portfolioUNSAT0.12