/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/list-properties/list_search_true-unreach-call_false-valid-memcleanup.i.smt2


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


(error "line 40 column 10102: unknown constant v_#memory_$Pointer$.offset_4")
(error "line 41 column 7162: unknown constant v_#memory_$Pointer$.offset_8")
(error "line 44 column 7330: unknown constant v_#memory_$Pointer$.offset_12")
(error "line 45 column 7330: unknown constant v_#memory_$Pointer$.base_16")
(error "line 48 column 10291: unknown constant v_#memory_$Pointer$.offset_20")
(error "line 49 column 10278: unknown constant v_#memory_$Pointer$.offset_24")
(error "line 52 column 10444: unknown constant v_#memory_$Pointer$.offset_28")
(error "line 53 column 10409: unknown constant v_#memory_$Pointer$.base_32")
sat