Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 9 | 23 | 28 | 50 | 51 | ||||
| total time | 1.319 | 3.36 | 149.832 | 57.219 | 14.261 | ||||
| average time | 0.147 | 0.146 | 5.351 | 1.144 | 0.28 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 349 | 332 | 93 | 62 | 307 | ||||
| total time | 194.589 | 518.47 | 300.726 | 237.594 | 507.904 | ||||
| average time | 0.558 | 1.562 | 3.234 | 3.832 | 1.654 | ||||
| #timeout | 0 | 3 | 237 | 246 | 0 | ||||
| total time | 0.0 | 180.0 | 14220.0 | 14760.0 | 0.0 | ||||
| average time | - | 60.0 | 60.0 | 60.0 | - | ||||
| arcs removed | 69 | 78 | 70 | 77 | 81 | ||||
| #SCCs | 2751 | 2483 | 206 | 108 | 2674 | ||||
| #rules | 16419 | 13607 | 547 | 305 | 15692 | ||||
| total time | 195.908 | 701.829 | 14670.557 | 15054.812 | 522.166 | ||||
|
|||||||||