Fixed Scheduling much faster

I fixed EDF scheduling to not accurately compute the a correct schedule
given any deadline. I also managed from the previous commit and this
commit to drastically speed up finding the optimal solutions. It finds
the fixed bus deployment less than 1 second and the unfixed bus
deployment in 2.5 seconds roughly. It is also only generating at most 8
optimal instances for the unfixed bus deployment.