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


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


(error "line 121 column 38245: unknown constant v_ULTIMATE.start_main_#t~nondet13_3")
(error "line 154 column 55069: unknown constant v_ULTIMATE.start_bobToRjh_#t~ret1_5")
(error "line 211 column 56407: unknown constant v_ULTIMATE.start_mail_#t~ret28_4")
(error "line 224 column 55449: unknown constant v_ULTIMATE.start_deliver_#t~ret32_4")
(error "line 243 column 39439: unknown constant v_ULTIMATE.start___utac_acc__DecryptAutoResponder_spec__1_#t~ret40_4")
(error "line 252 column 39231: unknown constant v_ULTIMATE.start_autoRespond_#t~ret37_4")
(error "line 278 column 40744: unknown constant v_ULTIMATE.start_mail_#t~ret28_8")
(error "line 283 column 41298: unknown constant v_ULTIMATE.start_deliver_#t~ret32_8")
(error "line 292 column 41398: unknown constant v_ULTIMATE.start___utac_acc__DecryptAutoResponder_spec__1_#t~ret40_8")
(error "line 299 column 41250: unknown constant v_ULTIMATE.start_autoRespond_#t~ret37_8")
sat