makeCong12Test: Fixed initialization of vector and memory problem.
The schedulability test in the paper "Multiprocessor Schedulability Analysis
    for Self-Suspending Task Systems", by Liu and Anderson, has a typo in the
    final result of G-EDF schedulability test.

    This commit fixes the implementation in makeCong12Test() accordingly.
Fixed the computation of an intermediate sum in makeCong12Test.
      Although this does not change the results of the test currently,
      since we don't use tasks with a tardiness threshold, this fix is
      important once we experiment with such tasks.