Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 74 | 92 | 66 | 65 | 99 | ||||
| total time | 38.16 | 45.314 | 274.481 | 169.567 | 95.281 | ||||
| average time | 0.516 | 0.493 | 4.159 | 2.609 | 0.962 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 279 | 257 | 53 | 45 | 254 | ||||
| total time | 647.381 | 685.976 | 290.242 | 293.894 | 917.228 | ||||
| average time | 2.32 | 2.669 | 5.476 | 6.531 | 3.611 | ||||
| #timeout | 5 | 9 | 239 | 248 | 5 | ||||
| total time | 300.0 | 540.0 | 14340.0 | 14880.0 | 300.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 985.541 | 1271.29 | 14904.723 | 15343.461 | 1312.509 | ||||
|
|||||||||