Scheduling task graphs -- SMT vs ILP formulation comparisons