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


InstanceSolverResultTime
k_lin_p-10caqe-portfolioUNSAT0.32
k_lin_p-11caqe-portfolioUNSAT0.22
k_lin_p-12caqe-portfolioUNSAT0.22
k_lin_p-14caqe-portfolioUNSAT0.32
k_lin_p-19caqe-portfolioUNSAT0.33
k_lin_p-2caqe-portfolioUNSAT0.12
k_lin_p-3caqe-portfolioUNSAT0.12
k_lin_p-4caqe-portfolioUNSAT0.12
k_lin_p-8caqe-portfolioUNSAT0.22
k_lin_p-9caqe-portfolioUNSAT0.22