Add subdirectories to contrib for competition scripts (#3164)

1 files changed, 0 insertions, 61 deletions

diff --git a/contrib/run-script-smteval2013 b/contrib/run-script-smteval2013
deleted file mode 100755
index 2212f71c7..000000000
--- a/contrib/run-script-smteval2013
+++ /dev/null
@@ -1,61 +0,0 @@
-#!/bin/bash
-
-cvc4=./cvc4
-bench="$1"
-
-logic=$(expr "$(grep -m1 '^[^;]*set-logic' "$bench")" : ' *(set-logic  *\([A-Z_]*\) *) *$')
-
-# use: trywith [params..]
-# to attempt a run.  Only thing printed on stdout is "sat" or "unsat", in
-# which case this run script terminates immediately.  Otherwise, this
-# function returns normally.
-function trywith {
-  result="$($cvc4 --stats -L smt2 --no-checking --no-interactive "$@" $bench)"
-  case "$result" in
-    sat|unsat) echo "$result"; exit 0;;
-  esac
-}
-
-# use: finishwith [params..]
-# to run cvc4 and let it output whatever it will to stdout.
-function finishwith {
-  $cvc4 --stats -L smt2 --no-checking --no-interactive "$@" $bench
-}
-
-case "$logic" in
-
-QF_LRA)
-  finishwith --no-restrict-pivots --enable-miplib-trick --miplib-trick-subs=2 --fc-penalties --collect-pivot-stats --use-soi --new-prop --dio-decomps --unconstrained-simp --fancy-final
-  ;;
-AUFLIA|AUFLIRA|AUFNIRA|UFLRA|UFNIA)
-  # 60 seconds with default decision heuristic
-  trywith --simplification=none --tlimit-per=60000
-  # try simplification for 60 seconds, default decision heuristic
-  trywith --tlimit-per=60000
-  # switch to internal decision heuristic
-  finishwith --simplification=none --decision=internal
-  ;;
-LRA)
-  finishwith --enable-cbqi
-  ;;
-QF_AUFBV)
-  trywith --tlimit-per=600000
-  finishwith --decision=justification-stoponly
-  ;;
-QF_BV)
-  trywith --bv-core --decision=justification --tlimit-per=10000
-  trywith --decision=justification --tlimit-per=60000
-  trywith --decision=internal --bitblast-eager --tlimit-per=600000
-  finishwith --decision=justification --decision-use-weight --decision-weight-internal=usr1
-  ;;
-QF_AX)
-  trywith --tlimit-per=2000
-  finishwith --no-arrays-model-based
-  ;;
-*)
-  # just run the default
-  finishwith
-  ;;
-
-esac
-