remove unused scripts

36 files changed, 0 insertions, 324 deletions

diff --git a/src/scripts/b_asc_con_3.sh b/src/scripts/b_asc_con_3.sh
deleted file mode 100755
index 3befd9d..0000000
--- a/src/scripts/b_asc_con_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_asc_con.rs gen_asc_con 3
-}
diff --git a/src/scripts/b_asc_con_5.sh b/src/scripts/b_asc_con_5.sh
deleted file mode 100755
index 32b3f61..0000000
--- a/src/scripts/b_asc_con_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_asc_con.rs gen_asc_con 5
-}
diff --git a/src/scripts/b_asc_con_7.sh b/src/scripts/b_asc_con_7.sh
deleted file mode 100755
index 843a7d1..0000000
--- a/src/scripts/b_asc_con_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_asc_con.rs gen_asc_con.rs 7
-}
diff --git a/src/scripts/b_asc_con_9.sh b/src/scripts/b_asc_con_9.sh
deleted file mode 100755
index 78134e5..0000000
--- a/src/scripts/b_asc_con_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_asc_con.rs gen_asc_con 9
-}
diff --git a/src/scripts/b_asc_con_ra_3.sh b/src/scripts/b_asc_con_ra_3.sh
deleted file mode 100755
index 8346f4c..0000000
--- a/src/scripts/b_asc_con_ra_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container, RandomAsscess
-search time: %R seconds
-'
-time {
-cargo run b_asc_con_ra.rs gen_asc_con_ra 3
-}
diff --git a/src/scripts/b_asc_con_ra_5.sh b/src/scripts/b_asc_con_ra_5.sh
deleted file mode 100755
index 9cb1cda..0000000
--- a/src/scripts/b_asc_con_ra_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container, RandomAsscess
-search time: %R seconds
-'
-time {
-cargo run b_asc_con_ra.rs gen_asc_con_ra 5
-}
diff --git a/src/scripts/b_asc_con_ra_7.sh b/src/scripts/b_asc_con_ra_7.sh
deleted file mode 100755
index c797868..0000000
--- a/src/scripts/b_asc_con_ra_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container, RandomAsscess
-search time: %R seconds
-'
-time {
-cargo run b_asc_con_ra.rs gen_asc_con_ra 7
-}
diff --git a/src/scripts/b_asc_con_ra_9.sh b/src/scripts/b_asc_con_ra_9.sh
deleted file mode 100755
index f60be36..0000000
--- a/src/scripts/b_asc_con_ra_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container, RandomAsscess
-search time: %R seconds
-'
-time {
-cargo run b_asc_con_ra.rs gen_asc_con_ra 9
-}
diff --git a/src/scripts/b_des_con_3.sh b/src/scripts/b_des_con_3.sh
deleted file mode 100755
index c00c125..0000000
--- a/src/scripts/b_des_con_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_des_con.rs gen_des_con 3
-}
diff --git a/src/scripts/b_des_con_5.sh b/src/scripts/b_des_con_5.sh
deleted file mode 100755
index b870f59..0000000
--- a/src/scripts/b_des_con_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_des_con.rs gen_des_con 5
-}
diff --git a/src/scripts/b_des_con_7.sh b/src/scripts/b_des_con_7.sh
deleted file mode 100755
index ca11765..0000000
--- a/src/scripts/b_des_con_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_des_con.rs gen_des_con 7
-}
diff --git a/src/scripts/b_des_con_9.sh b/src/scripts/b_des_con_9.sh
deleted file mode 100755
index 1d34895..0000000
--- a/src/scripts/b_des_con_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_des_con.rs gen_des_con 9
-}
diff --git a/src/scripts/b_des_con_ra_3.sh b/src/scripts/b_des_con_ra_3.sh
deleted file mode 100755
index fe7c0a0..0000000
--- a/src/scripts/b_des_con_ra_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_des_con_ra.rs gen_des_con_ra 3
-}
diff --git a/src/scripts/b_des_con_ra_5.sh b/src/scripts/b_des_con_ra_5.sh
deleted file mode 100755
index 3769ff5..0000000
--- a/src/scripts/b_des_con_ra_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_des_con_ra.rs gen_des_con_ra 5
-}
diff --git a/src/scripts/b_des_con_ra_7.sh b/src/scripts/b_des_con_ra_7.sh
deleted file mode 100755
index 9c3a7c9..0000000
--- a/src/scripts/b_des_con_ra_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_des_con_ra.rs gen_des_con_ra 7
-}
diff --git a/src/scripts/b_des_con_ra_9.sh b/src/scripts/b_des_con_ra_9.sh
deleted file mode 100755
index 5d70bf4..0000000
--- a/src/scripts/b_des_con_ra_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_des_con_ra.rs gen_des_con_ra 9
-}
diff --git a/src/scripts/b_stack_con_3.sh b/src/scripts/b_stack_con_3.sh
deleted file mode 100755
index 3317bd7..0000000
--- a/src/scripts/b_stack_con_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: lifo
-syntactic property: Container, Stack
-search time: %R seconds
-'
-time {
-cargo run b_stack_con.rs gen_stack_con 3
-}
diff --git a/src/scripts/b_stack_con_5.sh b/src/scripts/b_stack_con_5.sh
deleted file mode 100755
index ff7c2ea..0000000
--- a/src/scripts/b_stack_con_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: lifo
-syntactic property: Container, Stack
-search time: %R seconds
-'
-time {
-cargo run b_stack_con.rs gen_stack_con 5
-}
diff --git a/src/scripts/b_stack_con_7.sh b/src/scripts/b_stack_con_7.sh
deleted file mode 100755
index f04d5f5..0000000
--- a/src/scripts/b_stack_con_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: lifo
-syntactic property: Container, Stack
-search time: %R seconds
-'
-time {
-cargo run b_stack_con.rs gen_stack_con 7
-}
diff --git a/src/scripts/b_stack_con_9.sh b/src/scripts/b_stack_con_9.sh
deleted file mode 100755
index 9347fb6..0000000
--- a/src/scripts/b_stack_con_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: lifo
-syntactic property: Container, Stack
-search time: %R seconds
-'
-time {
-cargo run b_stack_con.rs gen_stack_con 9
-}
diff --git a/src/scripts/b_unique_asc_con_3.sh b/src/scripts/b_unique_asc_con_3.sh
deleted file mode 100755
index 13fa6c3..0000000
--- a/src/scripts/b_unique_asc_con_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con.rs gen_unique_asc_con 3
-}
diff --git a/src/scripts/b_unique_asc_con_5.sh b/src/scripts/b_unique_asc_con_5.sh
deleted file mode 100755
index cd8fd68..0000000
--- a/src/scripts/b_unique_asc_con_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con.rs gen_unique_asc_con 5
-}
diff --git a/src/scripts/b_unique_asc_con_7.sh b/src/scripts/b_unique_asc_con_7.sh
deleted file mode 100755
index 1a76def..0000000
--- a/src/scripts/b_unique_asc_con_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con.rs gen_unique_asc_con 7
-}
diff --git a/src/scripts/b_unique_asc_con_9.sh b/src/scripts/b_unique_asc_con_9.sh
deleted file mode 100755
index fba4841..0000000
--- a/src/scripts/b_unique_asc_con_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con.rs gen_unique_asc_con 9
-}
diff --git a/src/scripts/b_unique_asc_con_ra_3.sh b/src/scripts/b_unique_asc_con_ra_3.sh
deleted file mode 100755
index 7ef5b22..0000000
--- a/src/scripts/b_unique_asc_con_ra_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con_ra.rs gen_unique_asc_con_ra 3
-}
diff --git a/src/scripts/b_unique_asc_con_ra_5.sh b/src/scripts/b_unique_asc_con_ra_5.sh
deleted file mode 100755
index a32ee2f..0000000
--- a/src/scripts/b_unique_asc_con_ra_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con_ra.rs gen_unique_asc_con_ra 5
-}
diff --git a/src/scripts/b_unique_asc_con_ra_7.sh b/src/scripts/b_unique_asc_con_ra_7.sh
deleted file mode 100755
index ea16baf..0000000
--- a/src/scripts/b_unique_asc_con_ra_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con_ra.rs gen_unique_asc_con_ra 7
-}
diff --git a/src/scripts/b_unique_asc_con_ra_9.sh b/src/scripts/b_unique_asc_con_ra_9.sh
deleted file mode 100755
index 8dff946..0000000
--- a/src/scripts/b_unique_asc_con_ra_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con_ra.rs gen_unique_asc_con_ra 9
-}
diff --git a/src/scripts/b_unique_con_3.sh b/src/scripts/b_unique_con_3.sh
deleted file mode 100755
index 10cd4c4..0000000
--- a/src/scripts/b_unique_con_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_con.rs gen_unique_con 3
-}
diff --git a/src/scripts/b_unique_con_5.sh b/src/scripts/b_unique_con_5.sh
deleted file mode 100755
index fbf8073..0000000
--- a/src/scripts/b_unique_con_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_con.rs gen_unique_con 5
-}
diff --git a/src/scripts/b_unique_con_7.sh b/src/scripts/b_unique_con_7.sh
deleted file mode 100755
index c2bbf29..0000000
--- a/src/scripts/b_unique_con_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_con.rs gen_unique_con 7
-}
diff --git a/src/scripts/b_unique_con_9.sh b/src/scripts/b_unique_con_9.sh
deleted file mode 100755
index dd16dfc..0000000
--- a/src/scripts/b_unique_con_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_unique_con.rs gen_unique_con 9
-}
diff --git a/src/scripts/b_unique_con_ra_3.sh b/src/scripts/b_unique_con_ra_3.sh
deleted file mode 100755
index fbcac8d..0000000
--- a/src/scripts/b_unique_con_ra_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic properties: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_con_ra.rs gen_unique_con_ra 3
-}
diff --git a/src/scripts/b_unique_con_ra_5.sh b/src/scripts/b_unique_con_ra_5.sh
deleted file mode 100755
index 6845931..0000000
--- a/src/scripts/b_unique_con_ra_5.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic properties: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_con_ra.rs gen_unique_con_ra 5
-}
diff --git a/src/scripts/b_unique_con_ra_7.sh b/src/scripts/b_unique_con_ra_7.sh
deleted file mode 100755
index 8b62c27..0000000
--- a/src/scripts/b_unique_con_ra_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic properties: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_con_ra.rs gen_unique_con_ra 7
-}
diff --git a/src/scripts/b_unique_con_ra_9.sh b/src/scripts/b_unique_con_ra_9.sh
deleted file mode 100755
index f756117..0000000
--- a/src/scripts/b_unique_con_ra_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique
-syntactic properties: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_con_ra.rs gen_unique_con_ra 9
-}