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


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


(error "line 45 column 5003: unknown constant v_#memory_int_5")
(error "line 50 column 6546: unknown constant v_#memory_int_12")
(error "line 54 column 5306: unknown constant ~unnamed1~0~BLACK")
(error "line 55 column 7081: unknown constant v_#memory_$Pointer$.base_17")
(error "line 64 column 7094: unknown constant ~unnamed1~0~BLACK")
(error "line 65 column 7089: unknown constant ~unnamed1~0~BLACK")
(error "line 69 column 7094: unknown constant ~unnamed1~0~BLACK")
(error "line 70 column 5012: unknown constant ~unnamed1~0~BLACK")
(error "line 80 column 5191: unknown constant ~unnamed1~0~RED")
(error "line 81 column 7094: unknown constant ~unnamed1~0~RED")
(error "line 92 column 5542: unknown constant ~unnamed1~0~RED")
(error "line 93 column 7085: unknown constant ~unnamed1~0~RED")
(error "line 114 column 7094: unknown constant ~unnamed1~0~BLACK")
(error "line 115 column 7054: unknown constant ~unnamed1~0~BLACK")
sat