diff options
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 -} |