Used cases | Total case | Total traces | Total events | Computing time of discovery (s) | ||
---|---|---|---|---|---|---|
GIT | \(\alpha ^{{ + + }}\) | \(\alpha ^{\$ }\) | ||||
UC1 | 120 | 6 | 840 | 0.520 | 0.405 | 0.405 |
UC2 | 48 | 48 | 552 | 0.849 | 0.610 | 1.200 |
UC3 | 10,500 | 99 | 56,437 | 11.971 | 504.000 | 520.000 |
UC4 | 306 | 303 | 3084 | 2.978 | (error) | (error) |
UC5 | 1143 | 981 | 150,291 | 323.855 | (error) | (error) |
UC6 | 13,087 | 4366 | 262,200 | (error) | (error) | (error) |