Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 25 | 58 | 57 | 64 | 51 | 67 | 191 | 195 | ||||
| total time | 0.023 | 0.013 | 0.879 | 2.359 | 11.336 | 0.057 | 0.225 | 0.696 | ||||
| average time | 0.001 | 0.0 | 0.015 | 0.037 | 0.222 | 0.001 | 0.001 | 0.004 | ||||
| #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 | 1304 | 1271 | 1023 | 918 | 212 | 1204 | 1059 | 1134 | ||||
| total time | 177.104 | 297.502 | 3361.727 | 3745.721 | 505.79 | 623.806 | 541.957 | 321.318 | ||||
| average time | 0.136 | 0.234 | 3.286 | 4.08 | 2.386 | 0.518 | 0.512 | 0.283 | ||||
| #timeout | 2 | 2 | 251 | 349 | 1068 | 60 | 81 | 2 | ||||
| total time | 120.0 | 120.0 | 15060.0 | 20940.0 | 64080.0 | 3600.0 | 4860.0 | 120.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| arcs removed | 55 | 67 | 63 | 62 | 48 | 68 | 73 | 74 | ||||
| #SCCs | 4416 | 4532 | 2323 | 1925 | 270 | 4179 | 3680 | 4114 | ||||
| #rules | 24404 | 22233 | 6631 | 5133 | 448 | 20306 | 19033 | 21093 | ||||
| total time | 297.127 | 417.515 | 18422.606 | 24688.08 | 64597.126 | 4223.863 | 5402.181 | 442.014 | ||||
|
||||||||||||