Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 97 | 121 | 81 | 80 | 126 | ||||
| total time | 64.799 | 75.003 | 191.746 | 174.715 | 116.876 | ||||
| average time | 0.668 | 0.62 | 2.367 | 2.184 | 0.928 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 247 | 220 | 107 | 94 | 218 | ||||
| total time | 736.309 | 722.196 | 614.28 | 584.325 | 959.699 | ||||
| average time | 2.981 | 3.283 | 5.741 | 6.216 | 4.402 | ||||
| #timeout | 14 | 17 | 170 | 184 | 14 | ||||
| total time | 840.0 | 1020.0 | 10200.0 | 11040.0 | 840.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1641.108 | 1817.199 | 11006.026 | 11799.04 | 1916.576 | ||||
|
|||||||||