Statistics for Non-Left-Linear TRSs
|
explicit |
implicit |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
7 |
7 |
9 |
13 |
12 |
16 |
| total time |
2.263 |
2.26 |
2.583 |
11.489 |
3.624 |
58.528 |
| average time |
0.323 |
0.323 |
0.287 |
0.884 |
0.302 |
3.658 |
|
|
| #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 |
146 |
142 |
143 |
139 |
| total time |
8880.0 |
8880.0 |
8760.0 |
8520.0 |
8580.0 |
8340.0 |
| average time |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
|
| total time |
8882.263 |
8882.26 |
8762.583 |
8531.489 |
8583.624 |
8398.528 |
|
|
|
|
|
explicit rfc |
implicit rfc |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
27 |
27 |
28 |
36 |
37 |
39 |
| total time |
7.429 |
7.585 |
7.668 |
57.994 |
56.848 |
57.374 |
| average time |
0.275 |
0.281 |
0.274 |
1.611 |
1.536 |
1.471 |
|
|
| #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 |
119 |
118 |
116 |
| total time |
7680.0 |
7680.0 |
7620.0 |
7140.0 |
7080.0 |
6960.0 |
| average time |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
|
| total time |
7687.429 |
7687.585 |
7627.668 |
7197.994 |
7136.848 |
7017.374 |
|
|
|
|