| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Verification | Document Sharing workflow | Hidden Transition Discovery Rate100 | 2 | |
| Integration Duration Analysis | Document Sharing workflow | Integration Duration (days)3 | 2 | |
| Productivity Analysis | Document Sharing workflow | Incidental Lines of Code (LoC)145 | 2 |