| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| linked_list | Total Invariants4 | 1 | 19d ago | ||
| queue | Total Invariants7 | 1 | 19d ago | ||
| stack | Total Invariants6 | 1 | 19d ago | ||
| vector | Total Invariants3 | 1 | 19d ago | ||
| avl_tree | Total Invariants Synthesized4 | 1 | 19d ago | ||
| red_black_tree | Total Invariants2 | 1 | 19d ago | ||
| heap | Total Invariants10 | 1 | 19d ago | ||
| binary_search_tree | Total Invariants3 | 1 | 19d ago | ||
| hash_table | Total Invariants8 | 1 | 19d ago |
