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


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


(error "line 119 column 36250: unknown constant v_ULTIMATE.start_ULTIMATE.init_#t~nondet119_3")
(error "line 123 column 32019: unknown constant v_#memory_$Pointer$.offset_9")
(error "line 124 column 21932: unknown constant v_#memory_$Pointer$.offset_49")
(error "line 127 column 22755: unknown constant v_#memory_$Pointer$.base_13")
(error "line 139 column 30154: unknown constant #funAddr~thr1.base")
(error "line 145 column 30345: unknown constant v_#memory_$Pointer$.base_63")
(error "line 152 column 22488: unknown constant #funAddr~thr1.offset")
(error "line 162 column 31994: unknown constant v_#memory_$Pointer$.base_106")
(error "line 170 column 23201: unknown constant #funAddr~thr1.offset")
(error "line 175 column 31802: unknown constant #funAddr~thr2.offset")
(error "line 182 column 31959: unknown constant v_#memory_$Pointer$.offset_83")
(error "line 185 column 32035: unknown constant v_#memory_$Pointer$.base_75")
(error "line 192 column 23271: unknown constant #funAddr~thr2.offset")
(error "line 200 column 23494: unknown constant v_#memory_$Pointer$.offset_119")
(error "line 205 column 23319: unknown constant #funAddr~thr2.base")
(error "line 211 column 22858: unknown constant v_#memory_$Pointer$.offset_94")
sat