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


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


(error "line 137 column 40321: unknown constant v_ULTIMATE.start_main_#t~nondet13_3")
(error "line 170 column 40460: unknown constant v_ULTIMATE.start_bobToRjh_#t~ret1_5")
(error "line 220 column 41607: unknown constant v_ULTIMATE.start_mail_#t~ret67_4")
(error "line 238 column 58338: unknown constant v_ULTIMATE.start_deliver_#t~ret71_4")
(error "line 266 column 59357: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret62_4")
(error "line 276 column 40354: unknown constant v_ULTIMATE.start_forward_#t~ret76_7")
(error "line 299 column 42459: unknown constant v_ULTIMATE.start_mail_#t~ret67_8")
(error "line 309 column 62004: unknown constant v_ULTIMATE.start_deliver_#t~ret71_8")
(error "line 326 column 61738: unknown constant v_ULTIMATE.start___utac_acc__DecryptForward_spec__1_#t~ret62_8")
(error "line 332 column 42429: unknown constant v_ULTIMATE.start_forward_#t~ret76_3")
sat