Statistics for Non-Left-Linear TRSs
|
explicit |
implicit |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
11 |
11 |
12 |
17 |
17 |
19 |
| total time |
0.123 |
0.129 |
0.138 |
0.658 |
0.336 |
0.35 |
| average time |
0.011 |
0.012 |
0.011 |
0.039 |
0.02 |
0.018 |
|
|
| #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.123 |
8820.129 |
8760.138 |
8460.658 |
8460.336 |
8340.35 |
|
|
|
|
|
explicit rfc |
implicit rfc |
|
t |
r |
rm |
t |
r |
rm |
| |
| #yes |
32 |
32 |
32 |
40 |
40 |
41 |
| total time |
0.252 |
0.243 |
0.262 |
38.501 |
7.532 |
7.582 |
| average time |
0.008 |
0.008 |
0.008 |
0.963 |
0.188 |
0.185 |
|
|
| #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 |
118 |
118 |
117 |
| total time |
7560.0 |
7560.0 |
7560.0 |
7080.0 |
7080.0 |
7020.0 |
| average time |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
|
|
| total time |
7560.252 |
7560.243 |
7560.262 |
7118.501 |
7087.532 |
7027.582 |
|
|
|
|