1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/competitions/smt-comp/run-script-smtcomp-current-incremental b/contrib/competitions/smt-comp/run-script-smtcomp-current-incremental
index d55c54b42..ae0b2d7a4 100755
--- a/contrib/competitions/smt-comp/run-script-smtcomp-current-incremental
+++ b/contrib/competitions/smt-comp/run-script-smtcomp-current-incremental
@@ -67,13 +67,13 @@ ABVFP)
 BVFP)
   runcvc4 --incremental
   ;;
-QF_ABVFP)
+QF_ABVFP|QF_ABFPLRA)
   runcvc4 --incremental
   ;;
-QF_BVFP)
+QF_BVFP|QF_BVFPLRA)
   runcvc4 --incremental
   ;;
-QF_FP)
+QF_FP|QF_FPLRA)
   runcvc4 --incremental
   ;;
 *)