Adjusted Travis CI config to wait for 60 minutes before killing test without outputs.
Adjusted Travis CI config to wait for 60 minutes before killing test without outputs.

sireum/v3,sireum/v3,sireum/v3,sireum/v3