Before revision:  We define the inter-trace variance v_{T ,  DynaMITE , and requires no bound on v_{\pi}.
After revision:  We define the inter-trace variance v_{T , DynaMITE , which dynamically adjusts the sample size, it is less sensitive to the looseness of input upper-bounds on \tau_{rel, and requires no bound on v_{\pi}.