/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/seq-pthread/cs_lamport_true-unreach-call.i.smt2


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


(error "line 119 column 28999: unknown constant v_ULTIMATE.start_ULTIMATE.init_#t~nondet129_3")
(error "line 123 column 34235: unknown constant v_#memory_$Pointer$.offset_10")
(error "line 124 column 33332: unknown constant v_#memory_$Pointer$.offset_46")
(error "line 127 column 34186: unknown constant v_#memory_$Pointer$.base_15")
(error "line 139 column 32206: unknown constant #funAddr~thr1.base")
(error "line 145 column 23799: unknown constant v_#memory_$Pointer$.offset_67")
(error "line 152 column 23981: unknown constant #funAddr~thr1.offset")
(error "line 162 column 24296: unknown constant v_#memory_$Pointer$.base_111")
(error "line 170 column 34639: unknown constant #funAddr~thr1.offset")
(error "line 175 column 33927: unknown constant #funAddr~thr2.offset")
(error "line 182 column 34119: unknown constant v_#memory_$Pointer$.offset_91")
(error "line 185 column 34178: unknown constant v_#memory_$Pointer$.base_79")
(error "line 192 column 34707: unknown constant #funAddr~thr2.offset")
(error "line 200 column 24307: unknown constant v_#memory_$Pointer$.base_126")
(error "line 205 column 24867: unknown constant #funAddr~thr2.base")
(error "line 211 column 24393: unknown constant v_#memory_$Pointer$.base_101")
sat