diff --git a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-2fsc/sketch.props b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-2fsc/sketch.props
index 5392e4c28..0c2be3db4 100644
--- a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-2fsc/sketch.props
+++ b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-2fsc/sketch.props
@@ -1,6 +1,4 @@
-R[exp]{"rew"}max=? [C{0.9}]
-
-//R{"rew"}max=? [F "goal"]
+R{"rew"}max=? [F "goal"]
 
 //R{"steps"}min=? [F "goal"]
 
diff --git a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-3fsc/sketch.props b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-3fsc/sketch.props
index 5392e4c28..0c2be3db4 100644
--- a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-3fsc/sketch.props
+++ b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-3fsc/sketch.props
@@ -1,6 +1,4 @@
-R[exp]{"rew"}max=? [C{0.9}]
-
-//R{"rew"}max=? [F "goal"]
+R{"rew"}max=? [F "goal"]
 
 //R{"steps"}min=? [F "goal"]
 
diff --git a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-4fsc/sketch.props b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-4fsc/sketch.props
index 5392e4c28..0c2be3db4 100644
--- a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-4fsc/sketch.props
+++ b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-4fsc/sketch.props
@@ -1,6 +1,4 @@
-R[exp]{"rew"}max=? [C{0.9}]
-
-//R{"rew"}max=? [F "goal"]
+R{"rew"}max=? [F "goal"]
 
 //R{"steps"}min=? [F "goal"]