The model checking algorithm IC3 / PDR using Minisat 2.2 as the underlying SAT-solver