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


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


(error "line 332 column 65788: unknown constant v_ULTIMATE.start_main_#t~nondet26_3")
(error "line 386 column 47426: unknown constant v_ULTIMATE.start_bobToRjh_#t~ret14_4")
(error "line 467 column 48000: unknown constant v_ULTIMATE.start_mail_#t~ret92_4")
(error "line 514 column 48177: unknown constant v_ULTIMATE.start_deliver_#t~ret96_4")
(error "line 568 column 49338: unknown constant v_ULTIMATE.start_bobKeyAdd_#t~ret30_4")
(error "line 688 column 48277: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret43_4")
(error "line 769 column 46913: unknown constant v_ULTIMATE.start_forward_#t~ret103_4")
(error "line 844 column 70298: unknown constant v_ULTIMATE.start_mail_#t~ret92_8")
(error "line 860 column 50447: unknown constant v_ULTIMATE.start_deliver_#t~ret96_8")
(error "line 877 column 49336: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret43_8")
(error "line 883 column 69490: unknown constant v_ULTIMATE.start_forward_#t~ret103_8")
sat