Statistics for Non-Right-Linear TRSs
| explicit | implicit | |||||
|---|---|---|---|---|---|---|
| # yes | 4 | 8 | ||||
| total time | 13.684 | 4.396 | ||||
| average time | 3.421 | 0.549 | ||||
| # no | 0 | 0 | ||||
| total time | 0 | 0 | ||||
| average time | - | - | ||||
| # maybe | 0 | 0 | ||||
| total time | 0 | 0 | ||||
| average time | - | - | ||||
| # timeout | 55 | 51 | ||||
| total time | 3300.0 | 3060.0 | ||||
| average time | 60.0 | 60.0 | ||||
| total time | 3313.684 | 3064.396 | ||||
|
||||||