/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i.smt2


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


(error "line 31 column 6980: unknown constant v_#memory_int_5")
(error "line 36 column 7296: unknown constant v_#memory_$Pointer$.base_10")
(error "line 37 column 7309: unknown constant v_#memory_$Pointer$.base_15")
(error "line 44 column 5186: unknown constant v_#memory_$Pointer$.offset_23")
(error "line 50 column 8049: unknown constant v_#memory_int_28")
sat