Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 454 | 491 | 446 | 425 | 146 | 492 | 529 | 548 | ||||
| total time | 118.736 | 96.064 | 1068.412 | 1010.686 | 172.287 | 173.389 | 71.128 | 104.556 | ||||
| average time | 0.262 | 0.196 | 2.396 | 2.378 | 1.18 | 0.352 | 0.134 | 0.191 | ||||
| #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 | 826 | 633 | 558 | 116 | 769 | 711 | 769 | ||||
| total time | 845.327 | 805.462 | 2240.148 | 2888.447 | 301.283 | 1025.119 | 972.791 | 844.731 | ||||
| average time | 0.98 | 0.975 | 3.539 | 5.176 | 2.597 | 1.333 | 1.368 | 1.098 | ||||
| #timeout | 14 | 14 | 252 | 348 | 1069 | 70 | 91 | 14 | ||||
| total time | 840.0 | 840.0 | 15120.0 | 20880.0 | 64140.0 | 4200.0 | 5460.0 | 840.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1804.063 | 1741.526 | 18428.56 | 24779.132 | 64613.57 | 5398.508 | 6503.919 | 1789.287 | ||||
|
||||||||||||