t e' x1 gone Event List ------------------------------------------------------------ 0.00 INIT 0 0 (a, 1.00) 1.00 a 1 0 (a, 2.00) (d1, 3.10) 2.00 a 2 0 (a, 3.00) (d1, 3.10) 3.00 a 3 0 (a, 4.00) (d1, 3.10) 3.10 d1 2 1 (a, 4.00) (d1, 5.10) 4.00 a 3 1 (a, 5.00) (d1, 5.10) 5.00 a 4 1 (a, 6.00) (d1, 5.10) 5.10 d1 3 2 (a, 6.00) (d1, 7.10) 6.00 a 4 2 (a, 7.00) (d1, 7.10) 7.00 a 5 2 (a, 8.00) (d1, 7.10) 7.10 d1 4 3 (a, 8.00) (d1, 9.10) 8.00 a 5 3 (a, 9.00) (d1, 9.10) 9.00 a 6 3 (a,10.00) (d1, 9.10) 9.10 d1 5 4 (a,10.00) (d1, 9.61) 9.61 d1 4 5 (a,10.00) (d1,10.12) 10.00 a 5 5 (a,11.00) (d1,10.12) 10.12 d1 4 6 (a,11.00) (d1,10.63) 10.63 d1 3 7 (a,11.00) (d1,11.14) 11.00 a 4 7 (a,12.00) (d1,11.14) 11.14 d1 3 8 (a,12.00) (d1,11.65) 11.65 d1 2 9 (a,12.00) (d1,12.16) 12.00 a 3 9 (a,13.00) (d1,12.16) 12.16 d1 2 10 (a,13.00) (d1,12.67) 12.67 d1 1 11 (a,13.00) (d1,13.18) 13.00 a 2 11 (a,14.00) (d1,13.18) 13.18 d1 1 12 (a,14.00) (d1,13.69) 13.69 d1 0 13 (a,14.00) 14.00 a 1 13 (a,15.00) (d1,14.51) 14.51 d1 0 14 (a,15.00) 15.00 a 1 14 (a,16.00) (d1,15.51) 15.51 d1 0 15 (a,16.00) ------------------------------------------------------------ AST = 2.618 TP = 0.967