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


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


(error "line 119 column 27676: unknown constant v_ULTIMATE.start_ULTIMATE.init_#t~nondet120_3")
(error "line 123 column 30407: unknown constant v_#memory_$Pointer$.offset_6")
(error "line 124 column 28615: unknown constant v_#memory_int_35")
(error "line 127 column 21276: unknown constant v_#memory_$Pointer$.base_11")
(error "line 139 column 28102: unknown constant #funAddr~thr1.base")
(error "line 145 column 29028: unknown constant v_#memory_$Pointer$.base_56")
(error "line 152 column 29567: unknown constant #funAddr~thr1.offset")
(error "line 162 column 29799: unknown constant v_#memory_$Pointer$.base_100")
(error "line 170 column 21620: unknown constant #funAddr~thr1.offset")
(error "line 175 column 29642: unknown constant #funAddr~thr2.offset")
(error "line 182 column 21216: unknown constant v_#memory_$Pointer$.base_77")
(error "line 185 column 21233: unknown constant v_#memory_$Pointer$.base_67")
(error "line 192 column 30385: unknown constant #funAddr~thr2.offset")
(error "line 200 column 29834: unknown constant v_#memory_$Pointer$.base_114")
(error "line 205 column 30469: unknown constant #funAddr~thr2.base")
(error "line 211 column 29979: unknown constant v_#memory_$Pointer$.offset_89")
sat