#!/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 }