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