From 3521d51a81a86b7cd5102b173258e1063df214cc Mon Sep 17 00:00:00 2001
From: Florian Felten <florian.felten@uni.lu>
Date: Tue, 25 Jul 2023 10:03:50 +0200
Subject: [PATCH] Add minecart-deterministic-v0 to envs with known pfs

---
 benchmark/launch_experiment.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/benchmark/launch_experiment.py b/benchmark/launch_experiment.py
index 74b59885..0d5afcfd 100644
--- a/benchmark/launch_experiment.py
+++ b/benchmark/launch_experiment.py
@@ -52,6 +52,7 @@
     "deep-sea-treasure-concave-v0",
     "deep-sea-treasure-v0",
     "minecart-v0",
+    "minecart-deterministic-v0",
     "resource-gathering-v0",
     "fruit-tree-v0",
 ]