Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 74 | 91 | 63 | 63 | 99 | ||||
| total time | 38.599 | 45.28 | 238.108 | 110.803 | 93.45 | ||||
| average time | 0.522 | 0.498 | 3.779 | 1.759 | 0.944 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 279 | 258 | 58 | 49 | 254 | ||||
| total time | 662.229 | 692.959 | 214.832 | 180.033 | 916.695 | ||||
| average time | 2.374 | 2.686 | 3.704 | 3.674 | 3.609 | ||||
| #timeout | 5 | 9 | 237 | 246 | 5 | ||||
| total time | 300.0 | 540.0 | 14220.0 | 14760.0 | 300.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1000.828 | 1278.239 | 14672.94 | 15050.836 | 1310.145 | ||||
|
|||||||||