4 ms·

Thanks. From that page: Pointers in SLAM2: Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2