/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