Returned 48 matches
(100 formulae, 109 docs)
Lookup 19.746 ms, Re-ranking 115.832 ms
Found 199024 tuple postings, 33344 formulae, 11918 documents
0.8824
|
|
|
0.8571
|
|
|
0.7685
|
|
|
0.7685
|
|
|
0.7671
|
|
|
0.7606
|
|
|
0.7606
|
|
|
0.7606
|
|
|
0.7599
|
|
|
0.7533
|
|
|
0.7533
|
|
|
0.7514
|
|
|
0.7508
|
|
|
0.7500
|
|
|
0.7423
|
|
|
0.7423
|
|
|
0.7200
|
|
|
0.7139
|
|
|
0.6940
|
|
|
0.6835
|
|
|
0.6506
|
|
|
0.6429
|
|
|
0.6188
|
|
|
0.6188
|
|
|
0.6118
|
|
|
0.6026
|
|
|
0.5833
|
|
|
0.5008
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4667
|
|
|
0.3960
|
|
|
0.3810
|
|
|
0.3333
|
|
|
0.2667
|
|
|