diff options
Diffstat (limited to 'src/scripts')
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 +} |