Statistics for Non-Left-Linear TRSs
|
explicit |
implicit |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
11 |
11 |
12 |
17 |
17 |
19 |
| total time |
0.272 |
0.281 |
0.289 |
1.05 |
0.415 |
0.431 |
| average time |
0.025 |
0.026 |
0.024 |
0.062 |
0.024 |
0.023 |
|
|
| #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 |
147 |
147 |
146 |
141 |
141 |
139 |
| total time |
8820.0 |
8820.0 |
8760.0 |
8460.0 |
8460.0 |
8340.0 |
| average time |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
|
| total time |
8820.272 |
8820.281 |
8760.289 |
8461.05 |
8460.415 |
8340.431 |
|
|
|
|
|
explicit rfc |
implicit rfc |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
32 |
32 |
32 |
39 |
40 |
41 |
| total time |
0.381 |
0.384 |
0.405 |
3.811 |
9.956 |
9.971 |
| average time |
0.012 |
0.012 |
0.013 |
0.098 |
0.249 |
0.243 |
|
|
| #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 |
126 |
126 |
126 |
119 |
118 |
117 |
| total time |
7560.0 |
7560.0 |
7560.0 |
7140.0 |
7080.0 |
7020.0 |
| average time |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
|
| total time |
7560.381 |
7560.384 |
7560.405 |
7143.811 |
7089.956 |
7029.971 |
|
|
|
|