equal
deleted
inserted
replaced
99 25 5.671 |
99 25 5.671 |
100 26 11.357 |
100 26 11.357 |
101 27 22.430 |
101 27 22.430 |
102 \end{filecontents} |
102 \end{filecontents} |
103 |
103 |
|
104 % Dart, example (a*)*b |
|
105 \begin{filecontents}{re-dart.data} |
|
106 20 0.042 |
|
107 21 0.084 |
|
108 22 0.190 |
|
109 23 0.340 |
|
110 24 0.678 |
|
111 25 1.369 |
|
112 26 2.700 |
|
113 27 5.462 |
|
114 28 10.908 |
|
115 29 21.725 |
|
116 30 43.492 |
|
117 \end{filecontents} |
|
118 |
|
119 |
104 % Java 8, example (a*)*b |
120 % Java 8, example (a*)*b |
105 \begin{filecontents}{re-java.data} |
121 \begin{filecontents}{re-java.data} |
106 5 0.00298 |
122 5 0.00298 |
107 10 0.00418 |
123 10 0.00418 |
108 15 0.00996 |
124 15 0.00996 |