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


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


(error "line 330 column 65788: unknown constant v_ULTIMATE.start_main_#t~nondet26_3")
(error "line 384 column 47426: unknown constant v_ULTIMATE.start_bobToRjh_#t~ret14_4")
(error "line 465 column 48000: unknown constant v_ULTIMATE.start_mail_#t~ret92_4")
(error "line 512 column 48177: unknown constant v_ULTIMATE.start_deliver_#t~ret96_4")
(error "line 566 column 49338: unknown constant v_ULTIMATE.start_bobKeyAdd_#t~ret30_4")
(error "line 686 column 48277: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret43_4")
(error "line 767 column 46913: unknown constant v_ULTIMATE.start_forward_#t~ret103_4")
(error "line 842 column 70298: unknown constant v_ULTIMATE.start_mail_#t~ret92_8")
(error "line 858 column 50447: unknown constant v_ULTIMATE.start_deliver_#t~ret96_8")
(error "line 875 column 49336: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret43_8")
(error "line 881 column 69490: unknown constant v_ULTIMATE.start_forward_#t~ret103_8")
(error "line 901 column 34011: unknown constant old(#memory_int)")
sat