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


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


(error "line 165 column 41223: unknown constant v_ULTIMATE.start_main_#t~nondet69_3")
(error "line 198 column 60759: unknown constant v_ULTIMATE.start_bobToRjh_#t~ret57_5")
(error "line 255 column 43499: unknown constant v_ULTIMATE.start_mail_#t~ret42_8")
(error "line 273 column 42670: unknown constant v_ULTIMATE.start_deliver_#t~ret46_8")
(error "line 294 column 42297: unknown constant v_ULTIMATE.start_autoRespond_#t~ret52_8")
(error "line 321 column 62759: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret4_8")
(error "line 331 column 42325: unknown constant v_ULTIMATE.start_forward_#t~ret55_8")
(error "line 354 column 63428: unknown constant v_ULTIMATE.start_mail_#t~ret42_4")
(error "line 364 column 45335: unknown constant v_ULTIMATE.start_deliver_#t~ret46_4")
(error "line 375 column 44611: unknown constant v_ULTIMATE.start_autoRespond_#t~ret52_4")
(error "line 401 column 65507: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret4_4")
(error "line 407 column 44688: unknown constant v_ULTIMATE.start_forward_#t~ret55_4")
sat