Returned 81 matches
(100 formulae, 90 docs)
Lookup 191.089 ms, Re-ranking 1282.344 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.3592
|
|
|
0.3547
|
|
|
0.3539
|
|
|
0.3525
|
|
|
0.3513
|
|
|
0.3490
|
|
|
0.3483
|
|
|
0.3461
|
|
|
0.3448
|
|
|
0.3388
|
|
|
0.3383
|
|
|
0.3379
|
|
|
0.3327
|
|
|
0.3301
|
|
|
0.3281
|
|
|
0.3200
|
|
|
0.3128
|
|
|
0.3070
|
|
|
0.3063
|
|
|
0.2975
|
|
|
0.2973
|
|
|
0.2951
|
|
|
0.2917
|
|
|
0.2883
|
|
|
0.2880
|
|
|
0.2866
|
|
|
0.2841
|
|
|
0.2841
|
|
|
0.2835
|
|
|
0.2832
|
|
|
0.2821
|
|
|
0.2810
|
|
|
0.2808
|
|
|
0.2803
|
|
|
0.2791
|
|
|
0.2791
|
|
|
0.2790
|
|
|
0.2785
|
|
|
0.2780
|
|
|
0.2777
|
|
|
0.2774
|
|
|
0.2771
|
|
|
0.2769
|
|
|
0.2763
|
|
|
0.2759
|
|
|
0.2759
|
|
|
0.2759
|
|
|
0.2745
|
|
|
0.2743
|
|
|
0.2738
|
|
|
0.2727
|
|
|
0.2718
|
|
|
0.2661
|
|
|
0.2649
|
|
|
0.2645
|
|
|
0.2609
|
|
|
0.2608
|
|
|
0.2596
|
|
|
0.2573
|
|
|
0.2548
|
|
|
0.2540
|
|
|
0.2537
|
|
|
0.2494
|
|
|
0.2493
|
|
|
0.2486
|
|
|
0.2375
|
|
|
0.2293
|
|
|
0.2085
|
|
|
0.2000
|
|
|
0.1898
|
|
|