1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores b/contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores
index 33f41263d..b5449470f 100755
--- a/contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores
+++ b/contrib/competitions/smt-comp/run-script-smtcomp-current-unsat-cores
@@ -68,13 +68,13 @@ QF_ALIA)
 QF_S|QF_SLIA)
   finishwith --strings-exp --rewrite-divk
   ;;
-QF_ABVFP)
+QF_ABVFP|QF_ABVFPLRA)
   finishwith --fp-exp
   ;;
-QF_BVFP)
+QF_BVFP|QF_BVFPLRA)
   finishwith --fp-exp
   ;;
-QF_FP)
+QF_FP|QF_FPLRA)
   finishwith --fp-exp
   ;;
 *)