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


InstanceSolverResultTime
k_poly_p-11caqe-portfolioUNSAT0.12
k_poly_p-14caqe-portfolioUNSAT0.22
k_poly_p-15caqe-portfolioUNSAT0.22
k_poly_p-16caqe-portfolioUNSAT0.22
k_poly_p-19caqe-portfolioUNSAT0.22
k_poly_p-2caqe-portfolioUNSAT0.12
k_poly_p-4caqe-portfolioUNSAT0.12
k_poly_p-7caqe-portfolioUNSAT0.12
k_poly_p-8caqe-portfolioUNSAT0.13
k_poly_p-9caqe-portfolioUNSAT0.12