/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i.smt2 -------------------------------------------------------------------------------- (error "line 48 column 13200: unknown constant v_#memory_$Pointer$.offset_10") (error "line 56 column 10640: unknown constant v_#memory_int_20") (error "line 86 column 12806: unknown constant v_#memory_int_26") (error "line 90 column 9032: unknown constant v_#memory_int_30") sat