diff --git a/litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus b/litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus
index e8fc6f9538..3ab3a6d730 100644
--- a/litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus
+++ b/litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
\ No newline at end of file
diff --git a/litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus b/litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus
index d3b8776795..ad52598a51 100644
--- a/litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus
+++ b/litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
\ No newline at end of file
diff --git a/litmus/PTX/Manual/Ticketlock-diff-gpu.litmus b/litmus/PTX/Manual/Ticketlock-diff-gpu.litmus
index ba9e2634e5..7dc569d979 100644
--- a/litmus/PTX/Manual/Ticketlock-diff-gpu.litmus
+++ b/litmus/PTX/Manual/Ticketlock-diff-gpu.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
\ No newline at end of file
diff --git a/litmus/PTX/Manual/Ticketlock-rel2rlx.litmus b/litmus/PTX/Manual/Ticketlock-rel2rlx.litmus
index 92cede2bde..4587d44383 100644
--- a/litmus/PTX/Manual/Ticketlock-rel2rlx.litmus
+++ b/litmus/PTX/Manual/Ticketlock-rel2rlx.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.relaxed.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.relaxed.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
\ No newline at end of file
diff --git a/litmus/PTX/Manual/Ticketlock-same-gpu.litmus b/litmus/PTX/Manual/Ticketlock-same-gpu.litmus
index 8179b68965..7e3233165f 100644
--- a/litmus/PTX/Manual/Ticketlock-same-gpu.litmus
+++ b/litmus/PTX/Manual/Ticketlock-same-gpu.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
\ No newline at end of file