Adjusting default timeout#4027

PetarMax wants to merge 3 commits intomasterruntimeverification/haskell-backend:masterfrom

petar/smt-timeoutruntimeverification/haskell-backend:petar/smt-timeoutCopy head branch name to clipboard