bump timeouts of a few tests
MODIFY
tests/alive-tv/bugs/pr11390.srctgt.ll
tests/alive-tv/bugs/pr11390.srctgt.ll
-; TEST-ARGS: -disable-undef-input -disable-poison-input -smt-to=10000
+; TEST-ARGS: -disable-undef-input -disable-poison-input -smt-to=20000
; https://bugs.llvm.org/show_bug.cgi?id=11390
; To detect this bug, escaped local blocks' bytes should be checked

MODIFY
tests/alive-tv/bugs/pr44861.srctgt.ll
tests/alive-tv/bugs/pr44861.srctgt.ll
+; TEST-ARGS: -smt-to=2000
; Found by Alive2
declare void @g(i8*)

MODIFY
tests/alive-tv/bugs/pr45152.srctgt.ll
tests/alive-tv/bugs/pr45152.srctgt.ll
; Found by Alive
-; TEST-ARGS: -disable-undef-input -smt-to=10000
+; TEST-ARGS: -disable-undef-input -smt-to=20000
@Q = internal unnamed_addr global double 1.000000e+00, align 8

MODIFY
tests/alive-tv/bugs/pr45445.srctgt.ll
tests/alive-tv/bugs/pr45445.srctgt.ll
+; TEST-ARGS: -smt-to=2000
; Found by Alive2
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

bump timeouts of a few tests