Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking