Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 9 | 24 | 32 | 53 | 51 | ||||
| total time | 1.342 | 3.588 | 183.484 | 112.265 | 15.848 | ||||
| average time | 0.149 | 0.15 | 5.734 | 2.118 | 0.311 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 349 | 332 | 87 | 57 | 307 | ||||
| total time | 149.515 | 563.492 | 378.882 | 343.84 | 476.321 | ||||
| average time | 0.428 | 1.697 | 4.355 | 6.032 | 1.552 | ||||
| #timeout | 0 | 2 | 239 | 248 | 0 | ||||
| total time | 0.0 | 120.0 | 14340.0 | 14880.0 | 0.0 | ||||
| average time | - | 60.0 | 60.0 | 60.0 | - | ||||
| arcs removed | 69 | 78 | 72 | 79 | 81 | ||||
| #SCCs | 2751 | 2485 | 198 | 102 | 2674 | ||||
| #rules | 16419 | 13927 | 543 | 305 | 15686 | ||||
| total time | 150.858 | 687.08 | 14902.366 | 15336.105 | 492.169 | ||||
|
|||||||||