Statistics for TRSs
| t | e | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|
| #yes | 9 | 23 | 20 | 41 | 46 | ||||
| total time | 0.058 | 0.016 | 0.076 | 0.735 | 0.677 | ||||
| average time | 0.006 | 0.001 | 0.004 | 0.018 | 0.015 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | ||||
| #maybe | 347 | 326 | 168 | 133 | 310 | ||||
| total time | 125.513 | 456.759 | 797.718 | 733.685 | 414.92 | ||||
| average time | 0.362 | 1.401 | 4.748 | 5.516 | 1.338 | ||||
| #timeout | 2 | 9 | 170 | 184 | 2 | ||||
| total time | 120.0 | 540.0 | 10200.0 | 11040.0 | 120.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| arcs removed | 68 | 77 | 69 | 73 | 80 | ||||
| #SCCs | 2489 | 2141 | 468 | 286 | 2376 | ||||
| #rules | 14789 | 11697 | 1973 | 1450 | 13933 | ||||
| total time | 245.571 | 996.775 | 10997.795 | 11774.421 | 535.598 | ||||
|
|||||||||