Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 318 | 341 | 315 | 295 | 56 | 349 | 401 | 410 | ||||
| total time | 93.216 | 98.719 | 605.805 | 683.368 | 277.88 | 167.222 | 182.702 | 148.396 | ||||
| average time | 0.293 | 0.289 | 1.923 | 2.317 | 4.962 | 0.479 | 0.456 | 0.362 | ||||
| #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 | 1047 | 1024 | 822 | 607 | 39 | 982 | 886 | 955 | ||||
| total time | 836.311 | 824.736 | 4460.884 | 3932.846 | 197.6 | 1368.172 | 1461.38 | 1084.964 | ||||
| average time | 0.799 | 0.805 | 5.427 | 6.479 | 5.067 | 1.393 | 1.649 | 1.136 | ||||
| #timeout | 5 | 5 | 233 | 468 | 1275 | 39 | 83 | 5 | ||||
| total time | 300.0 | 300.0 | 13980.0 | 28080.0 | 76500.0 | 2340.0 | 4980.0 | 300.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1229.527 | 1223.455 | 19046.689 | 32696.214 | 76975.481 | 3875.393 | 6624.082 | 1533.36 | ||||
|
||||||||||||