From 0a178db53367c6eaf186d754c39190b9b7a67a7b Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 15 Jun 2014 23:08:50 -0400
Subject: [PATCH] minor update to application track config in QF_BV

---
 contrib/run-script-smtcomp2014-application | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application
index ae1d9e1ec..b04b33775 100755
--- a/contrib/run-script-smtcomp2014-application
+++ b/contrib/run-script-smtcomp2014-application
@@ -28,7 +28,7 @@ LIA|LRA|NIA|NRA)
   runcvc4 --enable-cbqi --full-saturate-quant
   ;;
 QF_BV)
-  runcvc4 --bv-eq-slicer=auto --decision=justification
+  runcvc4 --unconstrained-simp --bv-eq-slicer=auto --bv-div-zero-const --bv-intro-pow2
   ;;
 QF_AUFLIA|QF_AX)
   runcvc4 --no-arrays-eager-index --arrays-eager-lemmas
-- 
2.30.2