diff --git a/bench/ltl2tgba/algorithms b/bench/ltl2tgba/algorithms
index 113ae92d2..8d3c81ba6 100644
--- a/bench/ltl2tgba/algorithms
+++ b/bench/ltl2tgba/algorithms
@@ -94,6 +94,14 @@ Algorithm
    Enabled = yes
 }
 
+Algorithm
+{
+   Name = "Spot FM Sim (degen)"
+   Path = "$LBTT_TRANSLATE"
+   Parameters = "--spin '$LTL2TGBA -f -N -R3 -r7 -x -RDS -F'"
+   Enabled = yes
+}
+
 Algorithm
 {
    Name = "Spot FM WDBA (degen)"
@@ -102,6 +110,14 @@ Algorithm
    Enabled = yes
 }
 
+Algorithm
+{
+   Name = "Spot FM WDBA+Sim (degen)"
+   Path = "$LBTT_TRANSLATE"
+   Parameters = "--spin '$LTL2TGBA -f -N -R3 -r7 -x -Rm -RDS -F'"
+   Enabled = yes
+}
+
 Algorithm
 {
    Name = "Spot FM (TGBA)"