Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 97 | 120 | 81 | 81 | 126 | ||||
| total time | 71.063 | 81.112 | 191.676 | 175.378 | 124.594 | ||||
| average time | 0.733 | 0.676 | 2.366 | 2.165 | 0.989 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 247 | 221 | 108 | 94 | 218 | ||||
| total time | 760.343 | 746.913 | 617.93 | 565.188 | 977.301 | ||||
| average time | 3.078 | 3.38 | 5.722 | 6.013 | 4.483 | ||||
| #timeout | 14 | 17 | 169 | 183 | 14 | ||||
| total time | 840.0 | 1020.0 | 10140.0 | 10980.0 | 840.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1671.405 | 1848.025 | 10949.606 | 11720.566 | 1941.895 | ||||
|
|||||||||