Returned 59 matches
(100 formulae, 75 docs)
Lookup 46.463 ms, Re-ranking 188.987 ms
Found 331260 tuple postings, 81199 formulae, 17149 documents
0.6145
|
|
|
0.6145
|
|
|
0.6145
|
|
|
0.6115
|
|
|
0.6105
|
|
|
0.6061
|
|
|
0.6017
|
|
|
0.5839
|
|
|
0.5809
|
|
|
0.5769
|
|
|
0.5740
|
|
|
0.5678
|
|
|
0.5655
|
|
|
0.5611
|
|
|
0.5578
|
|
|
0.5556
|
|
|
0.5536
|
|
|
0.5536
|
|
|
0.5455
|
|
|
0.5455
|
|
|
0.5364
|
|
|
0.5263
|
|
|
0.5263
|
|
|
0.5172
|
|
|
0.5085
|
|
|
0.5085
|
|
|
0.4866
|
|
|
0.4682
|
|
|
0.4653
|
|
|
0.4653
|
|
|
0.4653
|
|
|
0.4653
|
|
|
0.4556
|
|
|
0.4556
|
|
|
0.4473
|
|
|
0.4375
|
|
|
0.4375
|
|
|
0.4286
|
|
|
0.4186
|
|
|
0.4186
|
|
|
0.4091
|
|
|
0.3913
|
|
|
0.3913
|
|
|
0.3889
|
|
|
0.3889
|
|
|
0.3889
|
|
|
0.3871
|
|
|
0.3871
|
|
|
0.3784
|
|
|
0.3684
|
|
|
0.3636
|
|
|
0.3529
|
|
|
0.3429
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3243
|
|
|
0.3243
|
|
|
0.3243
|
|
|
0.3243
|
|
|