Change SMT COMP script to use external timeouts.