- model_print("rd=%lu ", sls->getRMWRValueEncoding(cgen, r, satsolution));
- model_print("wr=%lu ", sls->getValueEncoding(cgen, r, satsolution));
+ model_print("rd=%llu ", sls->getRMWRValueEncoding(cgen, r, satsolution));
+ model_print("wr=%llu ", sls->getValueEncoding(cgen, r, satsolution));