Returned 95 matches
(100 formulae, 120 docs)
Lookup 17653.300 ms, Re-ranking 465.781 ms
Found 130276522 tuple postings, 6492791 formulae, 3329738 documents
0.5995 -6.0000 6.0000
|
|
|
0.5422 -7.0000 5.0000
|
|
|
0.5422 -7.0000 5.0000
|
|
|
0.4848 -6.0000 5.0000
|
|
|
0.3934 -7.0000 6.0000
|
|
|
0.3700 -2.0000 4.0000
|
|
|
0.3700 -4.0000 4.0000
|
|
|
0.3700 -4.0000 4.0000
|
|
|
0.3700 -6.0000 4.0000
|
|
|
0.3700 -6.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -8.0000 4.0000
|
|
|
0.3700 -8.0000 4.0000
|
|
|
0.3700 -9.0000 5.0000
|
|
|
0.3700 -9.0000 4.0000
|
|
|
0.3700 -10.0000 4.0000
|
|
|
0.3700 -17.0000 4.0000
|
|
|
0.3540 -4.0000 6.0000
|
|
|
0.3349 -4.0000 5.0000
|
|
|
0.3349 -4.0000 4.0000
|
|
|
0.3349 -5.0000 4.0000
|
|
|
0.3349 -6.0000 4.0000
|
|
|
0.3349 -10.0000 4.0000
|
|
|
0.3349 -11.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -7.0000 4.0000
|
|
|
0.3125 -7.0000 4.0000
|
|
|
0.3125 -8.0000 4.0000
|
|
|
0.3125 -8.0000 4.0000
|
|
|
0.3125 -9.0000 4.0000
|
|
|
0.3125 -9.0000 4.0000
|
|
|
0.3125 -10.0000 4.0000
|
|
|
0.3125 -13.0000 4.0000
|
|
|
0.2932 -9.0000 5.0000
|
|
|
0.2759 -6.0000 4.0000
|
|
|
0.2759 -7.0000 4.0000
|
|
|
0.2759 -7.0000 3.0000
|
|
|
0.2759 -8.0000 2.0000
|
|
|
0.2759 -9.0000 4.0000
|
|
|
0.2759 -9.0000 3.0000
|
|
|
0.2759 -9.0000 3.0000
|
|
|
0.2759 -11.0000 4.0000
|
|
|
0.2759 -12.0000 4.0000
|
|
|
0.2759 -13.0000 2.0000
|
|
|
0.2759 -14.0000 2.0000
|
|
|
0.2759 -14.0000 2.0000
|
|
|
0.2759 -15.0000 3.0000
|
|
|
0.2548 -3.0000 3.0000
|
|
|
0.2308 -12.0000 5.0000
|
|
|
0.2308 -12.0000 5.0000
|
|
|
0.2158 -6.0000 4.0000
|
|
|
0.2158 -6.0000 2.0000
|
|
|
0.2158 -8.0000 5.0000
|
|
|
0.2158 -9.0000 4.0000
|
|
|
0.2158 -9.0000 4.0000
|
|
|
0.2158 -10.0000 3.0000
|
|
|
0.2158 -10.0000 3.0000
|
|
|
0.2158 -11.0000 3.0000
|
|
|
0.2158 -13.0000 3.0000
|
|
|
0.2158 -15.0000 4.0000
|
|
|
0.1967 -6.0000 4.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -7.0000 4.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -7.0000 2.0000
|
|
|
0.1967 -8.0000 4.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -9.0000 4.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -11.0000 4.0000
|
|
|
0.1967 -12.0000 3.0000
|
|
|
0.1967 -12.0000 3.0000
|
|
|
0.1967 -12.0000 2.0000
|
|
|
0.1967 -13.0000 3.0000
|
|
|