format & tabulate seq benchmarks
Threshold Programs, Thresholding Alg, Threshold Script