Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 9 | 22 | 19 | 42 | 47 | ||||
| total time | 0.001 | 0.011 | 0.058 | 0.628 | 0.674 | ||||
| average time | 0.0 | 0.001 | 0.003 | 0.015 | 0.014 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 347 | 327 | 170 | 133 | 309 | ||||
| total time | 164.126 | 464.647 | 749.588 | 705.952 | 433.309 | ||||
| average time | 0.473 | 1.421 | 4.409 | 5.308 | 1.402 | ||||
| #timeout | 2 | 9 | 169 | 183 | 2 | ||||
| total time | 120.0 | 540.0 | 10140.0 | 10980.0 | 120.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| arcs removed | 68 | 77 | 68 | 73 | 80 | ||||
| #SCCs | 2489 | 2142 | 471 | 287 | 2375 | ||||
| #rules | 14789 | 11699 | 1977 | 1451 | 13944 | ||||
| total time | 284.126 | 1004.658 | 10889.646 | 11686.581 | 553.982 | ||||
|
|||||||||