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


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


(error "line 140 column 29815: unknown constant v_ULTIMATE.start_ULTIMATE.init_#t~nondet125_3")
(error "line 144 column 23184: unknown constant v_#memory_$Pointer$.offset_9")
(error "line 145 column 22326: unknown constant v_#memory_$Pointer$.base_54")
(error "line 148 column 32562: unknown constant v_#memory_$Pointer$.base_15")
(error "line 187 column 22417: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_5")
(error "line 206 column 32946: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_18")
(error "line 211 column 31281: unknown constant #funAddr~thr1.base")
(error "line 219 column 21991: unknown constant v_#memory_$Pointer$.base_64")
(error "line 221 column 23237: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_31")
(error "line 224 column 32748: unknown constant #funAddr~thr1.offset")
(error "line 230 column 32628: unknown constant v_#memory_$Pointer$.base_86")
(error "line 235 column 32628: unknown constant #funAddr~thr1.offset")
(error "line 237 column 22932: unknown constant #funAddr~thr2.offset")
(error "line 241 column 23224: unknown constant v_#memory_$Pointer$.base_109")
(error "line 243 column 32569: unknown constant v_#memory_$Pointer$.offset_75")
(error "line 248 column 32780: unknown constant #funAddr~thr2.base")
(error "line 254 column 32672: unknown constant v_#memory_$Pointer$.base_98")
(error "line 259 column 23912: unknown constant #funAddr~thr2.offset")
(error "line 265 column 32613: unknown constant v_#memory_$Pointer$.offset_119")
sat