Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 318 | 338 | 312 | 297 | 131 | 349 | 408 | 414 | ||||
| total time | 97.2 | 101.345 | 576.217 | 581.107 | 235.97 | 169.526 | 188.914 | 153.087 | ||||
| average time | 0.306 | 0.3 | 1.847 | 1.957 | 1.801 | 0.486 | 0.463 | 0.37 | ||||
| #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 | 1027 | 836 | 653 | 127 | 986 | 885 | 951 | ||||
| total time | 860.942 | 853.321 | 3946.388 | 3486.336 | 370.015 | 1405.573 | 1490.086 | 1092.019 | ||||
| average time | 0.822 | 0.831 | 4.721 | 5.339 | 2.914 | 1.426 | 1.684 | 1.148 | ||||
| #timeout | 5 | 5 | 222 | 420 | 1112 | 35 | 77 | 5 | ||||
| total time | 300.0 | 300.0 | 13320.0 | 25200.0 | 66720.0 | 2100.0 | 4620.0 | 300.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| total time | 1258.142 | 1254.666 | 17842.606 | 29267.442 | 67325.985 | 3675.099 | 6298.999 | 1545.106 | ||||
|
||||||||||||