Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 24 | 58 | 58 | 64 | 35 | 65 | 203 | 208 | ||||
| total time | 3.839 | 10.241 | 13.758 | 22.135 | 80.998 | 11.817 | 39.985 | 44.454 | ||||
| average time | 0.16 | 0.177 | 0.237 | 0.346 | 2.314 | 0.182 | 0.197 | 0.214 | ||||
| #no | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | - | - | - | - | - | ||||
| #maybe | 1346 | 1312 | 1080 | 838 | 60 | 1273 | 1091 | 1162 | ||||
| total time | 353.364 | 384.631 | 5124.447 | 4594.839 | 398.884 | 1430.267 | 1537.764 | 639.847 | ||||
| average time | 0.263 | 0.293 | 4.745 | 5.483 | 6.648 | 1.124 | 1.409 | 0.551 | ||||
| #timeout | 0 | 0 | 232 | 468 | 1275 | 32 | 76 | 0 | ||||
| total time | 0.0 | 0.0 | 13920.0 | 28080.0 | 76500.0 | 1920.0 | 4560.0 | 0.0 | ||||
| average time | - | - | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | - | ||||
| arcs removed | 55 | 68 | 64 | 60 | 48 | 68 | 73 | 74 | ||||
| #SCCs | 4790 | 4904 | 2407 | 1600 | 63 | 4522 | 3970 | 4606 | ||||
| #rules | 26291 | 24046 | 6345 | 3898 | 105 | 21516 | 20026 | 23469 | ||||
| total time | 357.203 | 394.872 | 19058.204 | 32696.974 | 76979.882 | 3362.084 | 6137.749 | 684.302 | ||||
|
||||||||||||