| Similarity | Rank | |
|---|---|---|
| s42 | 0.879 | 73516 |
| s24 | 0.878 | 60226 |
| s19 | 0.877 | 73355 |
| s58 | 0.876 | 98340 |
| aja | 0.871 | 61473 |
| s743 | 0.868 | 97535 |
| s20 | 0.865 | 49167 |
| s678 | 0.865 | 78661 |
| s29 | 0.862 | 82758 |
| cll | 0.858 | 74711 |
| s681 | 0.853 | 64601 |
| s44 | 0.853 | 97086 |
| s40 | 0.853 | 90176 |
| s69 | 0.852 | 61258 |
| clauses | 0.850 | 41831 |
| s39 | 0.850 | 68445 |
| s27 | 0.849 | 64750 |
| s48 | 0.847 | 70884 |
| s65 | 0.847 | 70993 |
| triable | 0.846 | 46976 |
| s35 | 0.845 | 83749 |
| s102 | 0.845 | 90269 |
| s23 | 0.845 | 74581 |
| s61 | 0.845 | 66564 |
| s94 | 0.844 | 82800 |