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


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


(error "line 38 column 10102: unknown constant v_#memory_$Pointer$.offset_4")
(error "line 39 column 7162: unknown constant v_#memory_$Pointer$.offset_8")
(error "line 42 column 7330: unknown constant v_#memory_$Pointer$.offset_12")
(error "line 43 column 7330: unknown constant v_#memory_$Pointer$.base_16")
(error "line 46 column 10291: unknown constant v_#memory_$Pointer$.offset_20")
(error "line 47 column 10278: unknown constant v_#memory_$Pointer$.offset_24")
(error "line 50 column 10444: unknown constant v_#memory_$Pointer$.offset_28")
(error "line 51 column 10409: unknown constant v_#memory_$Pointer$.base_32")
(error "line 85 column 4744: unknown constant old(#StackHeapBarrier)")
sat