Statistics for TRSs
| direct | modular | |||||
|---|---|---|---|---|---|---|
| #yes | 287 | 311 | ||||
| total time | 204.28 | 369.389 | ||||
| average time | 0.712 | 1.188 | ||||
| #no | 0 | 0 | ||||
| total time | 0.0 | 0.0 | ||||
| average time | - | - | ||||
| #maybe | 693 | 521 | ||||
| total time | 7011.086 | 7768.717 | ||||
| average time | 10.117 | 14.911 | ||||
| #timeout | 192 | 340 | ||||
| total time | 11520.0 | 20400.0 | ||||
| average time | 60.0 | 60.0 | ||||
| total time | 18735.366 | 28538.105 | ||||
|
||||||