/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/heap-data/packet_filter_true-unreach-call.i.smt2


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


(error "line 44 column 10512: unknown constant v_ULTIMATE.start_receive_#t~nondet2_3")
(error "line 53 column 10189: unknown constant v_#memory_$Pointer$.base_7")
(error "line 65 column 14226: unknown constant v_#memory_$Pointer$.offset_54")
(error "line 72 column 13907: unknown constant v_#memory_$Pointer$.base_19")
(error "line 78 column 14729: unknown constant v_#memory_$Pointer$.base_62")
(error "line 81 column 14474: unknown constant v_#memory_int_32")
(error "line 82 column 14460: unknown constant v_ULTIMATE.start_append_to_queue_~#p.base_12")
sat