SimilarityRank
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