Z3 has replace soft_timeout with timeout
Z3 has replace soft_timeout with timeout

agacek/jkind,backesj/jkind,agacek/jkind,andrewkatis/jkind-1,backesj/jkind,lgwagner/jkind,andrewkatis/jkind-1,lgwagner/jkind