Separated the SMT2 scripts into a partition and quicksort section.