Returned 92 matches
(100 formulae, 99 docs)
Lookup 11914.900 ms, Re-ranking 1400.632 ms
Found 46068047 tuple postings, 11218705 formulae, 4234652 documents
0.5642 -13.0000 8.0000
|
|
|
0.5091 -6.0000 9.0000
|
|
|
0.5042 -24.0000 10.0000
|
|
|
0.4713 -8.0000 9.0000
|
|
|
0.4504 -8.0000 6.0000
|
|
|
0.4504 -21.0000 8.0000
|
|
|
0.4416 -23.0000 9.0000
|
|
|
0.4335 -1.0000 8.0000
|
|
|
0.4335 -2.0000 8.0000
|
|
|
0.4335 -2.0000 8.0000
|
|
|
0.4335 -3.0000 8.0000
|
|
|
0.4335 -3.0000 8.0000
|
|
|
0.4335 -4.0000 8.0000
|
|
|
0.4335 -4.0000 8.0000
|
|
|
0.4335 -4.0000 8.0000
|
|
|
0.4335 -4.0000 8.0000
|
|
|
0.4335 -5.0000 8.0000
|
|
|
0.4335 -5.0000 8.0000
|
|
|
0.4335 -6.0000 8.0000
|
|
|
0.4335 -6.0000 8.0000
|
|
|
0.4335 -6.0000 8.0000
|
|
|
0.4335 -6.0000 8.0000
|
|
|
0.4335 -6.0000 8.0000
|
|
|
0.4335 -7.0000 8.0000
|
|
|
0.4335 -8.0000 8.0000
|
|
|
0.4335 -9.0000 8.0000
|
|
|
0.4335 -10.0000 8.0000
|
|
|
0.4335 -11.0000 8.0000
|
|
|
0.4335 -12.0000 8.0000
|
|
|
0.4335 -15.0000 8.0000
|
|
|
0.4335 -17.0000 8.0000
|
|
|
0.4335 -18.0000 8.0000
|
|
|
0.4335 -23.0000 9.0000
|
|
|
0.4276 -11.0000 10.0000
|
|
|
0.4124 -18.0000 7.0000
|
|
|
0.4124 -22.0000 7.0000
|
|
|
0.3957 -14.0000 8.0000
|
|
|
0.3957 -16.0000 8.0000
|
|
|
0.3743 -2.0000 7.0000
|
|
|
0.3743 -12.0000 6.0000
|
|
|
0.3743 -14.0000 8.0000
|
|
|
0.3743 -16.0000 7.0000
|
|
|
0.3636 -19.0000 7.0000
|
|
|
0.3636 -21.0000 7.0000
|
|
|
0.3636 -27.0000 9.0000
|
|
|
0.3579 -3.0000 7.0000
|
|
|
0.3579 -5.0000 7.0000
|
|
|
0.3579 -12.0000 6.0000
|
|
|
0.3361 -4.0000 8.0000
|
|
|
0.3361 -7.0000 7.0000
|
|
|
0.3242 -15.0000 8.0000
|
|
|
0.3242 -17.0000 7.0000
|
|
|
0.3242 -20.0000 7.0000
|
|
|
0.3242 -21.0000 9.0000
|
|
|
0.3242 -21.0000 8.0000
|
|
|
0.3242 -21.0000 7.0000
|
|
|
0.3200 -11.0000 6.0000
|
|
|
0.3200 -12.0000 6.0000
|
|
|
0.3200 -12.0000 6.0000
|
|
|
0.3200 -19.0000 6.0000
|
|
|
0.3120 -26.0000 9.0000
|
|
|
0.3118 -8.0000 7.0000
|
|
|
0.2979 -9.0000 8.0000
|
|
|
0.2946 -21.0000 8.0000
|
|
|
0.2844 -13.0000 8.0000
|
|
|
0.2821 -2.0000 7.0000
|
|
|
0.2821 -4.0000 6.0000
|
|
|
0.2821 -20.0000 5.0000
|
|
|
0.2727 -7.0000 8.0000
|
|
|
0.2727 -8.0000 8.0000
|
|
|
0.2727 -10.0000 8.0000
|
|
|
0.2727 -10.0000 8.0000
|
|
|
0.2727 -16.0000 6.0000
|
|
|
0.2727 -24.0000 6.0000
|
|
|
0.2595 -7.0000 5.0000
|
|
|
0.2595 -12.0000 5.0000
|
|
|
0.2532 -22.0000 9.0000
|
|
|
0.2439 -24.0000 7.0000
|
|
|
0.2332 -6.0000 8.0000
|
|
|
0.2208 -2.0000 6.0000
|
|
|
0.2208 -3.0000 6.0000
|
|
|
0.2208 -6.0000 6.0000
|
|
|
0.2208 -6.0000 5.0000
|
|
|
0.2208 -9.0000 6.0000
|
|
|
0.2105 -13.0000 8.0000
|
|
|
0.2025 -11.0000 5.0000
|
|
|
0.2025 -24.0000 6.0000
|
|
|
0.1931 -15.0000 5.0000
|
|
|
0.1931 -21.0000 5.0000
|
|
|
0.1818 -12.0000 4.0000
|
|
|
0.1681 -21.0000 4.0000
|
|
|
0.1661 -18.0000 6.0000
|
|
|