diff --git a/bench/bench b/bench/bench
index 0d1f72d44242207428c2667272486723583f02d4..784e2b1fe26419f439abf91b6ba324b30f3d9d69 100755
--- a/bench/bench
+++ b/bench/bench
@@ -275,7 +275,7 @@ goods examples/bitvectors "-L examples/bitvectors"
 goods examples/avl "-L examples/avl"
 goods examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_2016_matrix_multiplication"
 goods examples/double_wp "-L examples/double_wp"
-goods examples/ring_decision "-L examples/ring_decision"
+goods examples/in_progress/ring_decision "-L examples/in_progress/ring_decision"
 goods examples/multiprecision "-L examples/multiprecision"
 goods examples/prover "-L examples/prover --debug ignore_unused_vars"
 goods examples/in_progress
@@ -297,7 +297,7 @@ replay examples/bitvectors "-L examples/bitvectors --merging-only"
 replay examples/avl "-L examples/avl --merging-only"
 replay examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_2016_matrix_multiplication --merging-only"
 replay examples/double_wp "-L examples/double_wp --merging-only"
-replay examples/ring_decision "-L examples/ring_decision --merging-only"
+replay examples/in_progress/ring_decision "-L examples/in_progress/ring_decision --merging-only"
 replay examples/multiprecision "-L examples/multiprecision --merging-only"
 replay examples/prover "-L examples/prover --merging-only --debug ignore_unused_vars"
 #replay examples/in_progress --merging-only