/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i.smt2


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


(error "line 48 column 13165: unknown constant v_#memory_$Pointer$.offset_8")
(error "line 56 column 10583: unknown constant v_#memory_int_19")
(error "line 86 column 12933: unknown constant v_#memory_int_24")
(error "line 90 column 12627: unknown constant v_#memory_int_28")
sat