UTAustin-SwarmLab
diff --git a/‎run_scripts/run_frame_searcher.py
+1-1 b/‎run_scripts/run_frame_searcher.py
+1-1
diff --git a/‎test_scripts/predict.py
-25 b/‎test_scripts/predict.py
-25
@@ -71,7 +71,7 @@
         )
         benchmark_img_frame = video_processor.benchmark_image_frames
         proposition_set = benchmark_img_frame.proposition
-        ltl_formula = f"P>=0.90 [{benchmark_img_frame.ltl_formula}]"
+        ltl_formula = f"P>=0.80 [{benchmark_img_frame.ltl_formula}]"
 
     if args.cv_model == "grounding_dino":
         cv_model = GroundingDino(
Original file line number	Diff line number	Diff line change
`@@ -71,7 +71,7 @@`
`71`	`71`	`)`
`72`	`72`	`benchmark_img_frame = video_processor.benchmark_image_frames`
`73`	`73`	`proposition_set = benchmark_img_frame.proposition`
`74`		`- ltl_formula = f"P>=0.90 [{benchmark_img_frame.ltl_formula}]"`
	`74`	`+ ltl_formula = f"P>=0.80 [{benchmark_img_frame.ltl_formula}]"`
`75`	`75`
`76`	`76`	`if args.cv_model == "grounding_dino":`
`77`	`77`	`cv_model = GroundingDino(`