Returned 96 matches
(100 formulae, 100 docs)
Lookup 9231.440 ms, Re-ranking 1299.994 ms
Found 42141181 tuple postings, 11102746 formulae, 4205681 documents
0.5091 -6.0000 9.0000
|
|
|
0.4124 -18.0000 7.0000
|
|
|
0.3579 -12.0000 6.0000
|
|
|
0.3361 -4.0000 8.0000
|
|
|
0.3200 -11.0000 6.0000
|
|
|
0.3200 -12.0000 6.0000
|
|
|
0.3200 -16.0000 4.0000
|
|
|
0.3200 -18.0000 6.0000
|
|
|
0.3200 -19.0000 6.0000
|
|
|
0.2821 -2.0000 7.0000
|
|
|
0.2821 -4.0000 6.0000
|
|
|
0.2821 -6.0000 4.0000
|
|
|
0.2821 -6.0000 4.0000
|
|
|
0.2821 -9.0000 4.0000
|
|
|
0.2821 -11.0000 5.0000
|
|
|
0.2821 -12.0000 4.0000
|
|
|
0.2821 -14.0000 4.0000
|
|
|
0.2821 -14.0000 4.0000
|
|
|
0.2821 -15.0000 4.0000
|
|
|
0.2821 -15.0000 4.0000
|
|
|
0.2821 -17.0000 5.0000
|
|
|
0.2821 -18.0000 4.0000
|
|
|
0.2821 -20.0000 5.0000
|
|
|
0.2595 -15.0000 4.0000
|
|
|
0.2595 -15.0000 4.0000
|
|
|
0.2595 -21.0000 5.0000
|
|
|
0.2595 -23.0000 4.0000
|
|
|
0.2442 -3.0000 4.0000
|
|
|
0.2442 -6.0000 3.0000
|
|
|
0.2442 -7.0000 4.0000
|
|
|
0.2442 -11.0000 3.0000
|
|
|
0.2442 -12.0000 4.0000
|
|
|
0.2442 -16.0000 4.0000
|
|
|
0.2442 -19.0000 5.0000
|
|
|
0.2442 -20.0000 6.0000
|
|
|
0.2442 -26.0000 3.0000
|
|
|
0.2442 -32.0000 4.0000
|
|
|
0.2439 -24.0000 7.0000
|
|
|
0.2332 -7.0000 7.0000
|
|
|
0.2208 -6.0000 5.0000
|
|
|
0.2208 -9.0000 4.0000
|
|
|
0.2208 -10.0000 4.0000
|
|
|
0.2208 -12.0000 5.0000
|
|
|
0.2208 -13.0000 5.0000
|
|
|
0.2208 -25.0000 3.0000
|
|
|
0.2062 -3.0000 3.0000
|
|
|
0.2062 -5.0000 3.0000
|
|
|
0.2062 -6.0000 4.0000
|
|
|
0.2062 -7.0000 3.0000
|
|
|
0.2062 -9.0000 3.0000
|
|
|
0.2062 -9.0000 3.0000
|
|
|
0.2062 -9.0000 3.0000
|
|
|
0.2062 -10.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -12.0000 4.0000
|
|
|
0.2062 -15.0000 4.0000
|
|
|
0.2062 -20.0000 3.0000
|
|
|
0.2062 -21.0000 5.0000
|
|
|
0.2062 -21.0000 3.0000
|
|
|
0.2062 -26.0000 3.0000
|
|
|
0.2062 -27.0000 3.0000
|
|
|
0.2025 -24.0000 6.0000
|
|
|
0.1931 -21.0000 5.0000
|
|
|
0.1931 -33.0000 5.0000
|
|
|
0.1818 -8.0000 5.0000
|
|
|
0.1818 -10.0000 4.0000
|
|
|
0.1818 -12.0000 4.0000
|
|
|
0.1818 -13.0000 3.0000
|
|
|
0.1818 -15.0000 5.0000
|
|
|
0.1818 -20.0000 4.0000
|
|
|
0.1818 -31.0000 4.0000
|
|
|
0.1681 -5.0000 3.0000
|
|
|
0.1681 -7.0000 3.0000
|
|
|
0.1681 -13.0000 3.0000
|
|
|
0.1681 -15.0000 3.0000
|
|
|
0.1681 -16.0000 4.0000
|
|
|
0.1681 -18.0000 3.0000
|
|
|
0.1681 -18.0000 3.0000
|
|
|
0.1681 -25.0000 3.0000
|
|
|
0.1681 -42.0000 4.0000
|
|
|
0.1597 -15.0000 3.0000
|
|
|
0.1597 -18.0000 5.0000
|
|
|
0.1297 -6.0000 3.0000
|
|
|
0.1297 -7.0000 4.0000
|
|
|
0.1297 -8.0000 4.0000
|
|
|
0.1297 -9.0000 3.0000
|
|
|
0.1297 -9.0000 3.0000
|
|
|
0.1297 -9.0000 2.0000
|
|
|
0.1297 -10.0000 3.0000
|
|
|
0.1297 -10.0000 2.0000
|
|
|
0.1297 -11.0000 4.0000
|
|
|
0.1297 -13.0000 4.0000
|
|
|
0.1297 -16.0000 4.0000
|
|
|