Returned 81 matches
(100 formulae, 90 docs)
Lookup 191.089 ms, Re-ranking 1238.624 ms
Found 619909 tuple postings, 183019 formulae, 22250 documents
0.8575
|
|
|
0.5677
|
|
|
0.5432
|
|
|
0.5275
|
|
|
0.4811
|
|
|
0.4775
|
|
|
0.4695
|
|
|
0.4082
|
|
|
0.3816
|
|
|
0.3669
|
|
|
0.3598
|
|
|
0.3490
|
|
|
0.3448
|
|
|
0.3388
|
|
|
0.3383
|
|
|
0.3327
|
|
|
0.3310
|
|
|
0.3296
|
|
|
0.3286
|
|
|
0.3281
|
|
|
0.3220
|
|
|
0.3128
|
|
|
0.3115
|
|
|
0.3103
|
|
|
0.3032
|
|
|
0.2973
|
|
|
0.2883
|
|
|
0.2866
|
|
|
0.2841
|
|
|
0.2841
|
|
|
0.2832
|
|
|
0.2802
|
|
|
0.2780
|
|
|
0.2771
|
|
|
0.2769
|
|
|
0.2763
|
|
|
0.2759
|
|
|
0.2759
|
|
|
0.2752
|
|
|
0.2745
|
|
|
0.2743
|
|
|
0.2727
|
|
|
0.2718
|
|
|
0.2669
|
|
|
0.2661
|
|
|
0.2650
|
|
|
0.2649
|
|
|
0.2645
|
|
|
0.2623
|
|
|
0.2609
|
|
|
0.2596
|
|
|
0.2560
|
|
|
0.2530
|
|
|
0.2530
|
|
|
0.2529
|
|
|
0.2520
|
|
|
0.2513
|
|
|
0.2502
|
|
|
0.2481
|
|
|
0.2481
|
|
|
0.2460
|
|
|
0.2458
|
|
|
0.2434
|
|
|
0.2423
|
|
|
0.2419
|
|
|
0.2419
|
|
|
0.2348
|
|
|
0.2336
|
|
|
0.2286
|
|
|
0.2259
|
|
|
0.2243
|
|
|
0.2232
|
|
|
0.2205
|
|
|
0.2148
|
|
|
0.2138
|
|
|
0.2108
|
|
|
0.2085
|
|
|
0.2044
|
|
|
0.2042
|
|
|
0.1898
|
|
|
0.1667
|
|
|