diff --git a/examples/ring_decision/ringdecision.mlw b/examples/in_progress/ring_decision/ringdecision.mlw
similarity index 100%
rename from examples/ring_decision/ringdecision.mlw
rename to examples/in_progress/ring_decision/ringdecision.mlw
diff --git a/examples/ring_decision/ringdecision/why3session.xml b/examples/in_progress/ring_decision/ringdecision/why3session.xml
similarity index 100%
rename from examples/ring_decision/ringdecision/why3session.xml
rename to examples/in_progress/ring_decision/ringdecision/why3session.xml
diff --git a/examples/ring_decision/ringdecision/why3shapes.gz b/examples/in_progress/ring_decision/ringdecision/why3shapes.gz
similarity index 100%
rename from examples/ring_decision/ringdecision/why3shapes.gz
rename to examples/in_progress/ring_decision/ringdecision/why3shapes.gz
diff --git a/examples/ring_decision/strassen.mlw b/examples/in_progress/ring_decision/strassen.mlw
similarity index 100%
rename from examples/ring_decision/strassen.mlw
rename to examples/in_progress/ring_decision/strassen.mlw
diff --git a/examples/ring_decision/strassen/why3session.xml b/examples/in_progress/ring_decision/strassen/why3session.xml
similarity index 100%
rename from examples/ring_decision/strassen/why3session.xml
rename to examples/in_progress/ring_decision/strassen/why3session.xml
diff --git a/examples/ring_decision/strassen/why3shapes.gz b/examples/in_progress/ring_decision/strassen/why3shapes.gz
similarity index 100%
rename from examples/ring_decision/strassen/why3shapes.gz
rename to examples/in_progress/ring_decision/strassen/why3shapes.gz