Distributed SMT Solving Based on Dynamic Variable-level Partitionings