Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 24 | 56 | 56 | 61 | 54 | 65 | 218 | 220 | ||||
| total time | 3.526 | 8.28 | 9.601 | 10.585 | 63.31 | 9.827 | 37.832 | 41.631 | ||||
| average time | 0.147 | 0.148 | 0.171 | 0.174 | 1.172 | 0.151 | 0.174 | 0.189 | ||||
| #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 | 1314 | 1092 | 888 | 204 | 1276 | 1081 | 1150 | ||||
| total time | 367.617 | 396.845 | 4431.957 | 3956.01 | 535.158 | 1377.009 | 1475.99 | 649.112 | ||||
| average time | 0.273 | 0.302 | 4.059 | 4.455 | 2.623 | 1.079 | 1.365 | 0.564 | ||||
| #timeout | 0 | 0 | 222 | 421 | 1112 | 29 | 71 | 0 | ||||
| total time | 0.0 | 0.0 | 13320.0 | 25260.0 | 66720.0 | 1740.0 | 4260.0 | 0.0 | ||||
| average time | - | - | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | - | ||||
| arcs removed | 55 | 67 | 64 | 61 | 49 | 68 | 74 | 74 | ||||
| #SCCs | 4790 | 4907 | 2438 | 1777 | 259 | 4486 | 3879 | 4550 | ||||
| #rules | 26291 | 24052 | 6425 | 4207 | 432 | 21269 | 19681 | 23360 | ||||
| total time | 371.143 | 405.125 | 17761.558 | 29226.595 | 67318.468 | 3126.836 | 5773.822 | 690.743 | ||||
|
||||||||||||