src/scripts/b_asc_con_ra_7.sh


1
2
3
4
5
6
7
8
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
}