Statistics for TRSs
| t | e | s | nv | g | c | r | * | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| #yes | 25 | 60 | 54 | 67 | 42 | 67 | 176 | 183 | ||||
| total time | 0.065 | 0.039 | 3.514 | 18.226 | 88.655 | 0.03 | 0.353 | 0.722 | ||||
| average time | 0.003 | 0.001 | 0.065 | 0.272 | 2.111 | 0.0 | 0.002 | 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 | 1269 | 1014 | 892 | 92 | 1204 | 1077 | 1146 | ||||
| total time | 139.705 | 252.122 | 3884.417 | 3302.657 | 813.691 | 521.805 | 457.17 | 280.329 | ||||
| average time | 0.107 | 0.199 | 3.831 | 3.703 | 8.844 | 0.433 | 0.424 | 0.245 | ||||
| #timeout | 2 | 2 | 263 | 372 | 1197 | 60 | 78 | 2 | ||||
| total time | 120.0 | 120.0 | 15780.0 | 22320.0 | 71820.0 | 3600.0 | 4680.0 | 120.0 | ||||
| average time | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | 60.0 | ||||
| arcs removed | 55 | 68 | 63 | 61 | 48 | 68 | 72 | 73 | ||||
| #SCCs | 4416 | 4529 | 2294 | 1828 | 96 | 4218 | 3786 | 4161 | ||||
| #rules | 24404 | 22198 | 6754 | 5046 | 140 | 20519 | 19369 | 21196 | ||||
| total time | 259.77 | 372.16 | 19667.931 | 25640.883 | 72722.346 | 4121.835 | 5137.523 | 401.051 | ||||
|
||||||||||||