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


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


(error "line 165 column 42520: unknown constant v_ULTIMATE.start_main_#t~nondet81_3")
(error "line 198 column 43323: unknown constant v_ULTIMATE.start_bobToRjh_#t~ret69_4")
(error "line 255 column 43937: unknown constant v_ULTIMATE.start_mail_#t~ret5_8")
(error "line 273 column 43901: unknown constant v_ULTIMATE.start_deliver_#t~ret9_8")
(error "line 294 column 44096: unknown constant v_ULTIMATE.start___utac_acc__DecryptAutoResponder_spec__1_#t~ret66_8")
(error "line 304 column 43182: unknown constant v_ULTIMATE.start_autoRespond_#t~ret15_8")
(error "line 324 column 43108: unknown constant v_ULTIMATE.start_forward_#t~ret18_8")
(error "line 360 column 45067: unknown constant v_ULTIMATE.start_mail_#t~ret5_4")
(error "line 366 column 65060: unknown constant v_ULTIMATE.start_deliver_#t~ret9_4")
(error "line 375 column 46045: unknown constant v_ULTIMATE.start___utac_acc__DecryptAutoResponder_spec__1_#t~ret66_4")
(error "line 385 column 45335: unknown constant v_ULTIMATE.start_autoRespond_#t~ret15_4")
(error "line 404 column 63315: unknown constant v_ULTIMATE.start_forward_#t~ret18_4")
sat