/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i.smt2


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


(error "line 45 column 7297: unknown constant v_#memory_int_9")
(error "line 50 column 7114: unknown constant v_#memory_int_17")
(error "line 54 column 7834: unknown constant ~unnamed1~0~BLACK")
(error "line 55 column 7529: unknown constant v_#memory_$Pointer$.base_21")
(error "line 64 column 5329: unknown constant ~unnamed1~0~BLACK")
(error "line 65 column 5359: unknown constant ~unnamed1~0~BLACK")
(error "line 69 column 5364: unknown constant ~unnamed1~0~BLACK")
(error "line 70 column 7537: unknown constant ~unnamed1~0~BLACK")
(error "line 80 column 7881: unknown constant ~unnamed1~0~RED")
(error "line 81 column 7542: unknown constant ~unnamed1~0~RED")
(error "line 92 column 6032: unknown constant ~unnamed1~0~RED")
(error "line 93 column 5637: unknown constant ~unnamed1~0~RED")
(error "line 114 column 5364: unknown constant ~unnamed1~0~BLACK")
(error "line 115 column 5359: unknown constant ~unnamed1~0~BLACK")
sat