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


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


(error "line 30 column 6967: unknown constant v_#memory_int_5")
(error "line 35 column 5186: unknown constant v_#memory_$Pointer$.offset_8")
(error "line 36 column 7357: unknown constant v_#memory_$Pointer$.base_12")
(error "line 43 column 7526: unknown constant v_#memory_$Pointer$.base_21")
sat