| Similarity | Rank | |
|---|---|---|
| vict. | 0.843 | 53874 |
| s38 | 0.836 | 63842 |
| s41 | 0.834 | 60105 |
| s94 | 0.833 | 82800 |
| aja | 0.831 | 61473 |
| s678 | 0.829 | 78661 |
| s58 | 0.826 | 98340 |
| s46 | 0.825 | 96363 |
| s26 | 0.825 | 79082 |
| s48 | 0.824 | 70884 |
| s75 | 0.823 | 98413 |
| clauses | 0.823 | 41831 |
| s77 | 0.821 | 98414 |
| s47 | 0.820 | 54206 |
| s44 | 0.820 | 97086 |
| s37 | 0.820 | 49607 |
| s40 | 0.818 | 90176 |
| s103 | 0.818 | 58391 |
| s27 | 0.818 | 64750 |
| 47a | 0.818 | 96480 |
| 35a | 0.817 | 63370 |
| s61 | 0.817 | 66564 |
| s97 | 0.816 | 79426 |
| s16 | 0.815 | 60728 |
| s42 | 0.813 | 73516 |