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


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


(error "line 31 column 7224: unknown constant v_#memory_int_5")
(error "line 36 column 7552: unknown constant v_#memory_$Pointer$.base_10")
(error "line 37 column 5342: unknown constant v_#memory_$Pointer$.base_15")
(error "line 44 column 7573: unknown constant v_#memory_$Pointer$.offset_23")
(error "line 50 column 8766: unknown constant v_#memory_int_28")
sat