/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c.smt2


--------------------------------------------------------------------------------


(error "line 316 column 45185: unknown constant v_ULTIMATE.start_main_#t~nondet13_3")
(error "line 370 column 66027: unknown constant v_ULTIMATE.start_bobToRjh_#t~ret1_5")
(error "line 458 column 67334: unknown constant v_ULTIMATE.start_mail_#t~ret32_4")
(error "line 500 column 65983: unknown constant v_ULTIMATE.start_deliver_#t~ret36_4")
(error "line 552 column 47692: unknown constant v_ULTIMATE.start_bobKeyAdd_#t~ret17_4")
(error "line 610 column 65949: unknown constant v_ULTIMATE.start___utac_acc__DecryptAutoResponder_spec__1_#t~ret96_4")
(error "line 700 column 66019: unknown constant v_ULTIMATE.start_autoRespond_#t~ret43_4")
(error "line 823 column 49022: unknown constant v_ULTIMATE.start_mail_#t~ret32_8")
(error "line 834 column 48984: unknown constant v_ULTIMATE.start_deliver_#t~ret36_8")
(error "line 843 column 48957: unknown constant v_ULTIMATE.start___utac_acc__DecryptAutoResponder_spec__1_#t~ret96_8")
(error "line 850 column 69463: unknown constant v_ULTIMATE.start_autoRespond_#t~ret43_8")
sat