Minimize diff between Congress and Congress_Buggy

3 jobs for master in 6 minutes and 35 seconds (queued for 2 seconds)