Include the time whenever we print the bound at the end of an iteration
Write real-test instantiation code for STM-YV