Challenges Correctness Invariant done.
Challenges RunningTime done.
Challenges QuickSort1/2 done.