From 9352b2646126e23bff1c3577e7654fc0555cbfb2 Mon Sep 17 00:00:00 2001 From: Takuma Monma Date: Sat, 5 Sep 2026 17:11:15 +0900 Subject: [PATCH] Add reverse_lexicographic_REV2 benchmark --- ...reverse_lexicographic.ari => reverse_lexicographic_REV2.ari} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename Integer_Transition_Systems/Monma_26/{reverse_lexicographic.ari => reverse_lexicographic_REV2.ari} (99%) diff --git a/Integer_Transition_Systems/Monma_26/reverse_lexicographic.ari b/Integer_Transition_Systems/Monma_26/reverse_lexicographic_REV2.ari similarity index 99% rename from Integer_Transition_Systems/Monma_26/reverse_lexicographic.ari rename to Integer_Transition_Systems/Monma_26/reverse_lexicographic_REV2.ari index 853fc033..dfd91d75 100644 --- a/Integer_Transition_Systems/Monma_26/reverse_lexicographic.ari +++ b/Integer_Transition_Systems/Monma_26/reverse_lexicographic_REV2.ari @@ -63,7 +63,7 @@ (>= y 0) (>= s 0) (>= t 0) - (or (> p 0) (< p 1)) + (or (> p 0) (< p 0)) (= m_post m) (= x_post x) (= y_post y)