Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 454 | 494 | 443 | 427 | 78 | 493 | 528 | 548 | ||||
| total time | 120.526 | 95.61 | 1153.16 | 915.023 | 448.127 | 162.284 | 73.22 | 108.422 | ||||
| average time | 0.265 | 0.194 | 2.603 | 2.143 | 5.745 | 0.329 | 0.139 | 0.198 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | - | - | - | ||||
| #maybe | 863 | 823 | 624 | 529 | 56 | 767 | 714 | 769 | ||||
| total time | 823.451 | 783.163 | 2734.847 | 2335.397 | 453.716 | 888.288 | 860.07 | 851.948 | ||||
| average time | 0.954 | 0.952 | 4.383 | 4.415 | 8.102 | 1.158 | 1.205 | 1.108 | ||||
| #timeout | 14 | 14 | 264 | 375 | 1197 | 71 | 89 | 14 | ||||
| total time | 840.0 | 840.0 | 15840.0 | 22500.0 | 71820.0 | 4260.0 | 5340.0 | 840.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1783.977 | 1718.773 | 19728.007 | 25750.421 | 72721.843 | 5310.572 | 6273.29 | 1800.37 | ||||
|
||||||||||||