Statistics for Right-Linear TRSs
| explicit | implicit | explicit rfc | implicit rfc | |||||
|---|---|---|---|---|---|---|---|---|
| # yes | 8 | 9 | 21 | 21 | ||||
| total time | 0.029 | 0.037 | 0.127 | 0.126 | ||||
| average time | 0.003 | 0.004 | 0.006 | 0.006 | ||||
| # no | 0 | 0 | 0 | 0 | ||||
| total time | 0 | 0 | 0 | 0 | ||||
| average time | - | - | - | - | ||||
| # maybe | 0 | 0 | 0 | 0 | ||||
| total time | 0 | 0 | 0 | 0 | ||||
| average time | - | - | - | - | ||||
| # timeout | 20 | 19 | 7 | 7 | ||||
| total time | 1200.0 | 1140.0 | 420.0 | 420.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1200.029 | 1140.037 | 420.127 | 420.126 | ||||
|
||||||||