From ac916178867d9353c3ec6a63f37b928b81fd47eb Mon Sep 17 00:00:00 2001
From: Johannes Waldmann <johannes.waldmann@htwk-leipzig.de>
Date: Sun, 5 Jul 2026 21:27:56 +0200
Subject: [PATCH 1/2] new SRS standard

---
 SRS_Standard/Waldmann_26/1.ari     | 5 +++++
 SRS_Standard/Waldmann_26/2.ari     | 4 ++++
 SRS_Standard/Waldmann_26/3.ari     | 4 ++++
 SRS_Standard/Waldmann_26/4.ari     | 4 ++++
 SRS_Standard/Waldmann_26/5.ari     | 5 +++++
 SRS_Standard/Waldmann_26/README.md | 2 ++
 6 files changed, 24 insertions(+)
 create mode 100644 SRS_Standard/Waldmann_26/1.ari
 create mode 100644 SRS_Standard/Waldmann_26/2.ari
 create mode 100644 SRS_Standard/Waldmann_26/3.ari
 create mode 100644 SRS_Standard/Waldmann_26/4.ari
 create mode 100644 SRS_Standard/Waldmann_26/5.ari
 create mode 100644 SRS_Standard/Waldmann_26/README.md

diff --git a/SRS_Standard/Waldmann_26/1.ari b/SRS_Standard/Waldmann_26/1.ari
new file mode 100644
index 00000000..64df3f52
--- /dev/null
+++ b/SRS_Standard/Waldmann_26/1.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun c 1)
+(fun a 1)
+(rule (c (a (c (a (a x))))) (c (a (c (a (c (a (c (a x)))))))))
+(rule (a (c (c (c x)))) (c (c (c (c (c (a x)))))))
diff --git a/SRS_Standard/Waldmann_26/2.ari b/SRS_Standard/Waldmann_26/2.ari
new file mode 100644
index 00000000..1a159174
--- /dev/null
+++ b/SRS_Standard/Waldmann_26/2.ari
@@ -0,0 +1,4 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (a (b (a (b (a (a (b (a (b (a (a (b (a (a (b (a (b (a (a (b (a (b (a (a (b (a x))))))))))))))))))))))))))))) (a (b (a (b (a (a (b (a (b (a (a (b (a (a (b (a (b (a (a (b (a (a (b (a (b (a (a (b (a (b (a (a (b (a (a (b (a (b (a (a (b (a x)))))))))))))))))))))))))))))))))))))))))))
diff --git a/SRS_Standard/Waldmann_26/3.ari b/SRS_Standard/Waldmann_26/3.ari
new file mode 100644
index 00000000..64e37326
--- /dev/null
+++ b/SRS_Standard/Waldmann_26/3.ari
@@ -0,0 +1,4 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (a (a (b (a x)))))))) (a (a (b (a (b (a (b (a (a (a (a (a (a x))))))))))))))
diff --git a/SRS_Standard/Waldmann_26/4.ari b/SRS_Standard/Waldmann_26/4.ari
new file mode 100644
index 00000000..ab30b6e2
--- /dev/null
+++ b/SRS_Standard/Waldmann_26/4.ari
@@ -0,0 +1,4 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (b (a (b (b (a (b (a (b (a (b (a (b (a (b (a (b x)))))))))))))))))) (b (a (b (a (b (a (b (a (b (a (b (a (b (b (a (b (a (b (b (a (b (a (b (a (b x))))))))))))))))))))))))))
diff --git a/SRS_Standard/Waldmann_26/5.ari b/SRS_Standard/Waldmann_26/5.ari
new file mode 100644
index 00000000..ae4ace4d
--- /dev/null
+++ b/SRS_Standard/Waldmann_26/5.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun c 1)
+(fun b 1)
+(rule (c (b (c (b x)))) (b (c (c (b (b x))))))
+(rule (b (b (b (c x)))) (c (b (b (b (b (b x)))))))
diff --git a/SRS_Standard/Waldmann_26/README.md b/SRS_Standard/Waldmann_26/README.md
new file mode 100644
index 00000000..e703bc90
--- /dev/null
+++ b/SRS_Standard/Waldmann_26/README.md
@@ -0,0 +1,2 @@
+SRS from random enumeration,
+not solvable by matchbox (2026) in 1 minute

From ad83640c3208ce6c8a1804c63f3ac9752e7e7e0f Mon Sep 17 00:00:00 2001
From: Johannes Waldmann <johannes.waldmann@htwk-leipzig.de>
Date: Sun, 5 Jul 2026 21:33:26 +0200
Subject: [PATCH 2/2] new relative SRS

---
 SRS_Relative/Waldmann_26/1.ari  | 5 +++++
 SRS_Relative/Waldmann_26/10.ari | 5 +++++
 SRS_Relative/Waldmann_26/11.ari | 5 +++++
 SRS_Relative/Waldmann_26/12.ari | 5 +++++
 SRS_Relative/Waldmann_26/13.ari | 5 +++++
 SRS_Relative/Waldmann_26/14.ari | 5 +++++
 SRS_Relative/Waldmann_26/15.ari | 5 +++++
 SRS_Relative/Waldmann_26/16.ari | 5 +++++
 SRS_Relative/Waldmann_26/17.ari | 5 +++++
 SRS_Relative/Waldmann_26/18.ari | 5 +++++
 SRS_Relative/Waldmann_26/19.ari | 5 +++++
 SRS_Relative/Waldmann_26/2.ari  | 5 +++++
 SRS_Relative/Waldmann_26/20.ari | 5 +++++
 SRS_Relative/Waldmann_26/21.ari | 5 +++++
 SRS_Relative/Waldmann_26/22.ari | 5 +++++
 SRS_Relative/Waldmann_26/23.ari | 5 +++++
 SRS_Relative/Waldmann_26/24.ari | 5 +++++
 SRS_Relative/Waldmann_26/25.ari | 5 +++++
 SRS_Relative/Waldmann_26/26.ari | 5 +++++
 SRS_Relative/Waldmann_26/27.ari | 5 +++++
 SRS_Relative/Waldmann_26/28.ari | 5 +++++
 SRS_Relative/Waldmann_26/29.ari | 5 +++++
 SRS_Relative/Waldmann_26/3.ari  | 5 +++++
 SRS_Relative/Waldmann_26/30.ari | 5 +++++
 SRS_Relative/Waldmann_26/31.ari | 5 +++++
 SRS_Relative/Waldmann_26/32.ari | 5 +++++
 SRS_Relative/Waldmann_26/33.ari | 5 +++++
 SRS_Relative/Waldmann_26/34.ari | 5 +++++
 SRS_Relative/Waldmann_26/35.ari | 5 +++++
 SRS_Relative/Waldmann_26/36.ari | 5 +++++
 SRS_Relative/Waldmann_26/37.ari | 5 +++++
 SRS_Relative/Waldmann_26/38.ari | 5 +++++
 SRS_Relative/Waldmann_26/39.ari | 5 +++++
 SRS_Relative/Waldmann_26/4.ari  | 5 +++++
 SRS_Relative/Waldmann_26/40.ari | 5 +++++
 SRS_Relative/Waldmann_26/41.ari | 5 +++++
 SRS_Relative/Waldmann_26/42.ari | 5 +++++
 SRS_Relative/Waldmann_26/43.ari | 5 +++++
 SRS_Relative/Waldmann_26/44.ari | 5 +++++
 SRS_Relative/Waldmann_26/45.ari | 5 +++++
 SRS_Relative/Waldmann_26/46.ari | 5 +++++
 SRS_Relative/Waldmann_26/47.ari | 5 +++++
 SRS_Relative/Waldmann_26/48.ari | 5 +++++
 SRS_Relative/Waldmann_26/49.ari | 5 +++++
 SRS_Relative/Waldmann_26/5.ari  | 5 +++++
 SRS_Relative/Waldmann_26/50.ari | 5 +++++
 SRS_Relative/Waldmann_26/51.ari | 5 +++++
 SRS_Relative/Waldmann_26/52.ari | 5 +++++
 SRS_Relative/Waldmann_26/53.ari | 5 +++++
 SRS_Relative/Waldmann_26/54.ari | 5 +++++
 SRS_Relative/Waldmann_26/6.ari  | 5 +++++
 SRS_Relative/Waldmann_26/7.ari  | 5 +++++
 SRS_Relative/Waldmann_26/8.ari  | 5 +++++
 SRS_Relative/Waldmann_26/9.ari  | 5 +++++
 SRS_Relative/Waldmann_26/README | 2 ++
 55 files changed, 272 insertions(+)
 create mode 100644 SRS_Relative/Waldmann_26/1.ari
 create mode 100644 SRS_Relative/Waldmann_26/10.ari
 create mode 100644 SRS_Relative/Waldmann_26/11.ari
 create mode 100644 SRS_Relative/Waldmann_26/12.ari
 create mode 100644 SRS_Relative/Waldmann_26/13.ari
 create mode 100644 SRS_Relative/Waldmann_26/14.ari
 create mode 100644 SRS_Relative/Waldmann_26/15.ari
 create mode 100644 SRS_Relative/Waldmann_26/16.ari
 create mode 100644 SRS_Relative/Waldmann_26/17.ari
 create mode 100644 SRS_Relative/Waldmann_26/18.ari
 create mode 100644 SRS_Relative/Waldmann_26/19.ari
 create mode 100644 SRS_Relative/Waldmann_26/2.ari
 create mode 100644 SRS_Relative/Waldmann_26/20.ari
 create mode 100644 SRS_Relative/Waldmann_26/21.ari
 create mode 100644 SRS_Relative/Waldmann_26/22.ari
 create mode 100644 SRS_Relative/Waldmann_26/23.ari
 create mode 100644 SRS_Relative/Waldmann_26/24.ari
 create mode 100644 SRS_Relative/Waldmann_26/25.ari
 create mode 100644 SRS_Relative/Waldmann_26/26.ari
 create mode 100644 SRS_Relative/Waldmann_26/27.ari
 create mode 100644 SRS_Relative/Waldmann_26/28.ari
 create mode 100644 SRS_Relative/Waldmann_26/29.ari
 create mode 100644 SRS_Relative/Waldmann_26/3.ari
 create mode 100644 SRS_Relative/Waldmann_26/30.ari
 create mode 100644 SRS_Relative/Waldmann_26/31.ari
 create mode 100644 SRS_Relative/Waldmann_26/32.ari
 create mode 100644 SRS_Relative/Waldmann_26/33.ari
 create mode 100644 SRS_Relative/Waldmann_26/34.ari
 create mode 100644 SRS_Relative/Waldmann_26/35.ari
 create mode 100644 SRS_Relative/Waldmann_26/36.ari
 create mode 100644 SRS_Relative/Waldmann_26/37.ari
 create mode 100644 SRS_Relative/Waldmann_26/38.ari
 create mode 100644 SRS_Relative/Waldmann_26/39.ari
 create mode 100644 SRS_Relative/Waldmann_26/4.ari
 create mode 100644 SRS_Relative/Waldmann_26/40.ari
 create mode 100644 SRS_Relative/Waldmann_26/41.ari
 create mode 100644 SRS_Relative/Waldmann_26/42.ari
 create mode 100644 SRS_Relative/Waldmann_26/43.ari
 create mode 100644 SRS_Relative/Waldmann_26/44.ari
 create mode 100644 SRS_Relative/Waldmann_26/45.ari
 create mode 100644 SRS_Relative/Waldmann_26/46.ari
 create mode 100644 SRS_Relative/Waldmann_26/47.ari
 create mode 100644 SRS_Relative/Waldmann_26/48.ari
 create mode 100644 SRS_Relative/Waldmann_26/49.ari
 create mode 100644 SRS_Relative/Waldmann_26/5.ari
 create mode 100644 SRS_Relative/Waldmann_26/50.ari
 create mode 100644 SRS_Relative/Waldmann_26/51.ari
 create mode 100644 SRS_Relative/Waldmann_26/52.ari
 create mode 100644 SRS_Relative/Waldmann_26/53.ari
 create mode 100644 SRS_Relative/Waldmann_26/54.ari
 create mode 100644 SRS_Relative/Waldmann_26/6.ari
 create mode 100644 SRS_Relative/Waldmann_26/7.ari
 create mode 100644 SRS_Relative/Waldmann_26/8.ari
 create mode 100644 SRS_Relative/Waldmann_26/9.ari
 create mode 100644 SRS_Relative/Waldmann_26/README

diff --git a/SRS_Relative/Waldmann_26/1.ari b/SRS_Relative/Waldmann_26/1.ari
new file mode 100644
index 00000000..48981562
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/1.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (a (b (b (a (a x))))))))) x)
+(rule x (a (b (a x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/10.ari b/SRS_Relative/Waldmann_26/10.ari
new file mode 100644
index 00000000..3d914df5
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/10.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (b (b (b (a (b (b x))))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/11.ari b/SRS_Relative/Waldmann_26/11.ari
new file mode 100644
index 00000000..82204520
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/11.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (b (b (a (a (a (b x)))))))) x)
+(rule x (a (b (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/12.ari b/SRS_Relative/Waldmann_26/12.ari
new file mode 100644
index 00000000..0315f522
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/12.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (b (a (a (b (b (b (b x))))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/13.ari b/SRS_Relative/Waldmann_26/13.ari
new file mode 100644
index 00000000..fe430edc
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/13.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (b (b (a (a (b x)))))))) x)
+(rule x (a (b (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/14.ari b/SRS_Relative/Waldmann_26/14.ari
new file mode 100644
index 00000000..b75d1a0a
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/14.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (b (b (b (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/15.ari b/SRS_Relative/Waldmann_26/15.ari
new file mode 100644
index 00000000..cd028c37
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/15.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (b (a (b (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/16.ari b/SRS_Relative/Waldmann_26/16.ari
new file mode 100644
index 00000000..cd6b6d02
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/16.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (b (a (a (a (b (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/17.ari b/SRS_Relative/Waldmann_26/17.ari
new file mode 100644
index 00000000..fdee28c2
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/17.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (b (b (a (b (a x))))))))) x)
+(rule x (a (b (a x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/18.ari b/SRS_Relative/Waldmann_26/18.ari
new file mode 100644
index 00000000..3308fa3b
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/18.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (b (a (b (a (a (b x)))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/19.ari b/SRS_Relative/Waldmann_26/19.ari
new file mode 100644
index 00000000..5ec3e4ac
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/19.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (b (b (a x))))) x)
+(rule x (a (b (a (b (b (a (b (a x)))))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/2.ari b/SRS_Relative/Waldmann_26/2.ari
new file mode 100644
index 00000000..fb323f6e
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/2.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (a (a (b (b (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/20.ari b/SRS_Relative/Waldmann_26/20.ari
new file mode 100644
index 00000000..dbab45b6
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/20.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (b (b (b (b x))))))) x)
+(rule x (b (a (b (a (b x))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/21.ari b/SRS_Relative/Waldmann_26/21.ari
new file mode 100644
index 00000000..0c9949c5
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/21.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (b (b (b (b (a x))))))) x)
+(rule x (a (b (b (b (a x))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/22.ari b/SRS_Relative/Waldmann_26/22.ari
new file mode 100644
index 00000000..f04da8da
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/22.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (b (b (b (a (a x)))))))) x)
+(rule x (a (b (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/23.ari b/SRS_Relative/Waldmann_26/23.ari
new file mode 100644
index 00000000..6bab1d27
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/23.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (a (a (b (b (a x))))))))) x)
+(rule x (a (b (a x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/24.ari b/SRS_Relative/Waldmann_26/24.ari
new file mode 100644
index 00000000..e21b17d8
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/24.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (b (b (b (b (b x)))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/25.ari b/SRS_Relative/Waldmann_26/25.ari
new file mode 100644
index 00000000..567fe4ed
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/25.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (b (a (a (b (b (b (b (b x))))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/26.ari b/SRS_Relative/Waldmann_26/26.ari
new file mode 100644
index 00000000..2df3b299
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/26.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (a (b (b (a x)))))))) x)
+(rule x (a (b (a x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/27.ari b/SRS_Relative/Waldmann_26/27.ari
new file mode 100644
index 00000000..114e4fb8
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/27.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (b (a (b (b (b x)))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/28.ari b/SRS_Relative/Waldmann_26/28.ari
new file mode 100644
index 00000000..b920ff26
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/28.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (b (b (b (a x)))))))) x)
+(rule x (a (b (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/29.ari b/SRS_Relative/Waldmann_26/29.ari
new file mode 100644
index 00000000..148f2a78
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/29.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (b (b (b (b (b (b x))))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/3.ari b/SRS_Relative/Waldmann_26/3.ari
new file mode 100644
index 00000000..6188a992
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/3.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (b x))))) x)
+(rule x (b (a (b (a (a (b (a (b x)))))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/30.ari b/SRS_Relative/Waldmann_26/30.ari
new file mode 100644
index 00000000..37baf1ff
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/30.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (b (b (b x))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/31.ari b/SRS_Relative/Waldmann_26/31.ari
new file mode 100644
index 00000000..3b5ad858
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/31.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (b (b (a (b x))))))) x)
+(rule x (b (b (b (a (a x))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/32.ari b/SRS_Relative/Waldmann_26/32.ari
new file mode 100644
index 00000000..86100b2c
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/32.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (b (b (b (a (b (a x)))))))) x)
+(rule x (a (b (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/33.ari b/SRS_Relative/Waldmann_26/33.ari
new file mode 100644
index 00000000..df86a392
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/33.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (b (b (a (a (a x))))))))) x)
+(rule x (a (b (a x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/34.ari b/SRS_Relative/Waldmann_26/34.ari
new file mode 100644
index 00000000..07c24851
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/34.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (a (a x)))))) x)
+(rule x (b (b (b (b (b (b (a x))))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/35.ari b/SRS_Relative/Waldmann_26/35.ari
new file mode 100644
index 00000000..37880a7a
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/35.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (b (a (a (a (a (b (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/36.ari b/SRS_Relative/Waldmann_26/36.ari
new file mode 100644
index 00000000..41c4f074
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/36.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (b (a (b (b x))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/37.ari b/SRS_Relative/Waldmann_26/37.ari
new file mode 100644
index 00000000..7c9453ce
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/37.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (b (a (a (b x))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/38.ari b/SRS_Relative/Waldmann_26/38.ari
new file mode 100644
index 00000000..5f422c22
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/38.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (b (a (b (a (b x))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/39.ari b/SRS_Relative/Waldmann_26/39.ari
new file mode 100644
index 00000000..579a08d5
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/39.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (b (b (a (a (b (b (b (b x))))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/4.ari b/SRS_Relative/Waldmann_26/4.ari
new file mode 100644
index 00000000..7c0a003a
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/4.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (b (b (a (a (b (b (b x)))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/40.ari b/SRS_Relative/Waldmann_26/40.ari
new file mode 100644
index 00000000..5ee0c6d0
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/40.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (b (a (b (a (a (b x)))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/41.ari b/SRS_Relative/Waldmann_26/41.ari
new file mode 100644
index 00000000..c902bbc0
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/41.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (b (a (a (b (b x)))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/42.ari b/SRS_Relative/Waldmann_26/42.ari
new file mode 100644
index 00000000..63815024
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/42.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (a (b (a (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/43.ari b/SRS_Relative/Waldmann_26/43.ari
new file mode 100644
index 00000000..cbb69700
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/43.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (b (b (b (b (a (a x)))))))) x)
+(rule x (a (b (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/44.ari b/SRS_Relative/Waldmann_26/44.ari
new file mode 100644
index 00000000..d2688db1
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/44.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (b (a (a (b (b (a x)))))))) x)
+(rule x (b (a (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/45.ari b/SRS_Relative/Waldmann_26/45.ari
new file mode 100644
index 00000000..091cfcb2
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/45.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (b (b (a (b (a (b x)))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/46.ari b/SRS_Relative/Waldmann_26/46.ari
new file mode 100644
index 00000000..5b703131
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/46.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (a (b (a (b x))))))) x)
+(rule x (b (b (a (a (a x))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/47.ari b/SRS_Relative/Waldmann_26/47.ari
new file mode 100644
index 00000000..4a6e2aae
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/47.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (a (b (b (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/48.ari b/SRS_Relative/Waldmann_26/48.ari
new file mode 100644
index 00000000..e30248b9
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/48.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (b (b (b (b (a x)))))))) x)
+(rule x (a (b (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/49.ari b/SRS_Relative/Waldmann_26/49.ari
new file mode 100644
index 00000000..25303b17
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/49.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (b (b (a (a x)))))))) x)
+(rule x (a (b (a x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/5.ari b/SRS_Relative/Waldmann_26/5.ari
new file mode 100644
index 00000000..a106446e
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/5.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (b (a (a (a (b (b (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/50.ari b/SRS_Relative/Waldmann_26/50.ari
new file mode 100644
index 00000000..ca4013ce
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/50.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (b (a (b (a (b (b x)))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/51.ari b/SRS_Relative/Waldmann_26/51.ari
new file mode 100644
index 00000000..95fe3be4
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/51.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (b (a (a (b (b (b x))))))) x)
+(rule x (b (a (b (a (b x))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/52.ari b/SRS_Relative/Waldmann_26/52.ari
new file mode 100644
index 00000000..e6cc70b4
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/52.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (a (a (b x))))))) x)
+(rule x (b (a (a (a (b x))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/53.ari b/SRS_Relative/Waldmann_26/53.ari
new file mode 100644
index 00000000..2aa709b9
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/53.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (b (b (a (a (a x)))))))) x)
+(rule x (a (b (a x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/54.ari b/SRS_Relative/Waldmann_26/54.ari
new file mode 100644
index 00000000..081f03bb
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/54.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (a (a (a (b (b (a (b x)))))))) x)
+(rule x (b (a (a (b x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/6.ari b/SRS_Relative/Waldmann_26/6.ari
new file mode 100644
index 00000000..8e6c601c
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/6.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (a (b (a (b (b x))))))) x)
+(rule x (b (b (b (a (a x))))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/7.ari b/SRS_Relative/Waldmann_26/7.ari
new file mode 100644
index 00000000..3199cc63
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/7.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (b (b (a (b (a (b (b x)))))))) x)
+(rule x (b (b (a (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/8.ari b/SRS_Relative/Waldmann_26/8.ari
new file mode 100644
index 00000000..abe09d81
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/8.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun a 1)
+(fun b 1)
+(rule (a (a (a (a (a (a (a (a x)))))))) x)
+(rule x (b (b (b (a x)))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/9.ari b/SRS_Relative/Waldmann_26/9.ari
new file mode 100644
index 00000000..b8c813d1
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/9.ari
@@ -0,0 +1,5 @@
+(format TRS)
+(fun b 1)
+(fun a 1)
+(rule (b (b (a (a (b (b (b (b x)))))))) x)
+(rule x (b (a (b x))) :cost 0)
diff --git a/SRS_Relative/Waldmann_26/README b/SRS_Relative/Waldmann_26/README
new file mode 100644
index 00000000..edf3ced2
--- /dev/null
+++ b/SRS_Relative/Waldmann_26/README
@@ -0,0 +1,2 @@
+enumeration of SRS of shape { l -> epsilon, epsilon ->= r }
+not solved by matchbox and mnm (2026) in 1 minute