Returned 88 matches
(100 formulae, 85 docs)
Lookup 167.628 ms, Re-ranking 1248.486 ms
Found 570478 tuple postings, 155656 formulae, 21500 documents
0.7136
|
|
|
0.5241
|
|
|
0.4828
|
|
|
0.4773
|
|
|
0.4667
|
|
|
0.4496
|
|
|
0.4455
|
|
|
0.4375
|
|
|
0.3943
|
|
|
0.3864
|
|
|
0.3784
|
|
|
0.3782
|
|
|
0.3736
|
|
|
0.3699
|
|
|
0.3684
|
|
|
0.3644
|
|
|
0.3617
|
|
|
0.3537
|
|
|
0.3516
|
|
|
0.3486
|
|
|
0.3467
|
|
|
0.3415
|
|
|
0.3333
|
|
|
0.3117
|
|
|
0.3088
|
|
|
0.3063
|
|
|
0.2973
|
|
|
0.2973
|
|
|
0.2933
|
|
|
0.2933
|
|
|
0.2907
|
|
|
0.2897
|
|
|
0.2821
|
|
|
0.2817
|
|
|
0.2807
|
|
|
0.2781
|
|
|
0.2778
|
|
|
0.2772
|
|
|
0.2763
|
|
|
0.2745
|
|
|
0.2716
|
|
|
0.2708
|
|
|
0.2651
|
|
|
0.2595
|
|
|
0.2595
|
|
|
0.2576
|
|
|
0.2561
|
|
|
0.2530
|
|
|
0.2500
|
|
|
0.2498
|
|
|
0.2474
|
|
|
0.2464
|
|
|
0.2406
|
|
|
0.2391
|
|
|
0.2366
|
|
|
0.2366
|
|
|
0.2340
|
|
|
0.2325
|
|
|
0.2319
|
|
|
0.2316
|
|
|
0.2268
|
|
|
0.2143
|
|
|
0.2138
|
|
|
0.2105
|
|
|
0.2087
|
|
|
0.2070
|
|
|
0.2045
|
|
|
0.1982
|
|
|
0.1897
|
|
|
0.1892
|
|
|
0.1880
|
|
|
0.1867
|
|
|
0.1867
|
|
|
0.1787
|
|
|
0.1750
|
|
|
0.1724
|
|
|
0.1667
|
|
|
0.1609
|
|
|
0.1556
|
|
|
0.1538
|
|
|
0.1474
|
|
|
0.1474
|
|
|
0.1458
|
|
|
0.1333
|
|
|
0.1157
|
|
|
0.1138
|
|
|
0.0930
|
|
|
0.0808
|
|
|