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


InstanceSolverResultTime
k_poly_n-14caqe-portfolioSAT0.12
k_poly_n-16caqe-portfolioSAT0.22
k_poly_n-17caqe-portfolioSAT0.22
k_poly_n-18caqe-portfolioSAT0.22
k_poly_n-2caqe-portfolioSAT0.13
k_poly_n-20caqe-portfolioSAT0.22
k_poly_n-21caqe-portfolioSAT0.22
k_poly_n-5caqe-portfolioSAT0.14
k_poly_n-6caqe-portfolioSAT0.12
k_poly_n-7caqe-portfolioSAT0.12