refactor(all): shorter directory names

36 files changed, 324 insertions, 0 deletions

diff --git a/src/scripts/b_asc_con_3.sh b/src/scripts/b_asc_con_3.sh
new file mode 100755
index 0000000..3befd9d
--- /dev/null
+++ b/src/scripts/b_asc_con_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..32b3f61
--- /dev/null
+++ b/src/scripts/b_asc_con_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..843a7d1
--- /dev/null
+++ b/src/scripts/b_asc_con_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..78134e5
--- /dev/null
+++ b/src/scripts/b_asc_con_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..8346f4c
--- /dev/null
+++ b/src/scripts/b_asc_con_ra_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..9cb1cda
--- /dev/null
+++ b/src/scripts/b_asc_con_ra_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..c797868
--- /dev/null
+++ b/src/scripts/b_asc_con_ra_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..f60be36
--- /dev/null
+++ b/src/scripts/b_asc_con_ra_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..c00c125
--- /dev/null
+++ b/src/scripts/b_des_con_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..b870f59
--- /dev/null
+++ b/src/scripts/b_des_con_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..ca11765
--- /dev/null
+++ b/src/scripts/b_des_con_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..1d34895
--- /dev/null
+++ b/src/scripts/b_des_con_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..fe7c0a0
--- /dev/null
+++ b/src/scripts/b_des_con_ra_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..3769ff5
--- /dev/null
+++ b/src/scripts/b_des_con_ra_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..9c3a7c9
--- /dev/null
+++ b/src/scripts/b_des_con_ra_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..5d70bf4
--- /dev/null
+++ b/src/scripts/b_des_con_ra_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..3317bd7
--- /dev/null
+++ b/src/scripts/b_stack_con_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..ff7c2ea
--- /dev/null
+++ b/src/scripts/b_stack_con_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..f04d5f5
--- /dev/null
+++ b/src/scripts/b_stack_con_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..9347fb6
--- /dev/null
+++ b/src/scripts/b_stack_con_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..13fa6c3
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..cd8fd68
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..1a76def
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..fba4841
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..7ef5b22
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_ra_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..a32ee2f
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_ra_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..ea16baf
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_ra_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..8dff946
--- /dev/null
+++ b/src/scripts/b_unique_asc_con_ra_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..10cd4c4
--- /dev/null
+++ b/src/scripts/b_unique_con_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..fbf8073
--- /dev/null
+++ b/src/scripts/b_unique_con_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..c2bbf29
--- /dev/null
+++ b/src/scripts/b_unique_con_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..dd16dfc
--- /dev/null
+++ b/src/scripts/b_unique_con_9.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..fbcac8d
--- /dev/null
+++ b/src/scripts/b_unique_con_ra_3.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..6845931
--- /dev/null
+++ b/src/scripts/b_unique_con_ra_5.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..8b62c27
--- /dev/null
+++ b/src/scripts/b_unique_con_ra_7.sh
@@ -0,0 +1,9 @@
+#!/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
new file mode 100755
index 0000000..f756117
--- /dev/null
+++ b/src/scripts/b_unique_con_ra_9.sh
@@ -0,0 +1,9 @@
+#!/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
+}