A Comprehensive Study of k-Portfolios of Recent SAT Solvers