From ce80e570ff7c3db0c469bca19f7bcf088b4b6304 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Thu, 8 Jul 2010 20:28:36 +0000
Subject: [PATCH] Moving cluster-qf_lra-benchmark to scripts project

---
 contrib/cluster-qf_lra-benchmark | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 contrib/cluster-qf_lra-benchmark

diff --git a/contrib/cluster-qf_lra-benchmark b/contrib/cluster-qf_lra-benchmark
deleted file mode 100755
index 1311d869c..000000000
--- a/contrib/cluster-qf_lra-benchmark
+++ /dev/null
@@ -1,18 +0,0 @@
-
-TO_EMAIL="taking@cs.nyu.edu"
-CC_EMAIL=""
-function RunClusterRegressions() {
-    local job_name="cvc4-$1"
-    local cvc4_binary="$2"
-    local config_line="$3"
-    mysql -u smt_cluster --password=`cat ~/.mysql_password` smt_cluster <<EOF
-        insert into Jobs values
-        (DEFAULT, "$job_name", "custom job", "19", "300", "2000", "26", "$TO_EMAIL $CC_EMAIL", "2", "$cvc4_binary", "1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,29", DEFAULT);
-EOF
-}
-
-
-JOB_TIME=`date +%s`
-NAME="cluster-qf_lra-benchmark-$JOB_TIME"
-RunClusterRegressions "$NAME" $1 ""
-
-- 
2.30.2