Statistics for Non-Left-Linear TRSs
|
explicit |
implicit |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
7 |
7 |
10 |
14 |
14 |
17 |
| total time |
1.46 |
1.539 |
49.133 |
10.956 |
10.608 |
11.346 |
| average time |
0.209 |
0.22 |
4.913 |
0.783 |
0.758 |
0.667 |
|
|
| #no |
0 |
0 |
0 |
0 |
0 |
0 |
| total time |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
| average time |
- |
- |
- |
- |
- |
- |
|
|
| #maybe |
0 |
0 |
0 |
0 |
0 |
0 |
| total time |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
| average time |
- |
- |
- |
- |
- |
- |
|
|
| #timeout |
148 |
148 |
145 |
141 |
141 |
138 |
| total time |
8880.0 |
8880.0 |
8700.0 |
8460.0 |
8460.0 |
8280.0 |
| average time |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
|
| total time |
8881.46 |
8881.539 |
8749.133 |
8470.956 |
8470.608 |
8291.346 |
|
|
|
|
|
explicit rfc |
implicit rfc |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
27 |
27 |
28 |
37 |
38 |
40 |
| total time |
5.544 |
5.604 |
5.707 |
37.208 |
36.898 |
37.58 |
| average time |
0.205 |
0.208 |
0.204 |
1.006 |
0.971 |
0.94 |
|
|
| #no |
0 |
0 |
0 |
0 |
0 |
0 |
| total time |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
| average time |
- |
- |
- |
- |
- |
- |
|
|
| #maybe |
0 |
0 |
0 |
0 |
0 |
0 |
| total time |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
0.0 |
| average time |
- |
- |
- |
- |
- |
- |
|
|
| #timeout |
128 |
128 |
127 |
118 |
117 |
115 |
| total time |
7680.0 |
7680.0 |
7620.0 |
7080.0 |
7020.0 |
6900.0 |
| average time |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
|
| total time |
7685.544 |
7685.604 |
7625.707 |
7117.208 |
7056.898 |
6937.58 |
|
|
|
|