Model Checking with Multi-threaded IC3 Portfolios. - Sagar Chaki; Derrick Karimi (VMCAI, 2016)