Returned 94 matches
(100 formulae, 100 docs)
Lookup 16911.800 ms, Re-ranking 6468.077 ms
Found 111101985 tuple postings, 8608438 formulae, 3889827 documents
0.7459 -17.0000 14.0000
|
|
|
0.7293 -16.0000 21.0000
|
|
|
0.6338 -29.0000 18.0000
|
|
|
0.5554 -3.0000 17.0000
|
|
|
0.5554 -4.0000 16.0000
|
|
|
0.5554 -8.0000 16.0000
|
|
|
0.5455 -23.0000 16.0000
|
|
|
0.5236 -3.0000 16.0000
|
|
|
0.5236 -6.0000 16.0000
|
|
|
0.5202 -42.0000 12.0000
|
|
|
0.5065 -28.0000 16.0000
|
|
|
0.4561 -10.0000 15.0000
|
|
|
0.4561 -11.0000 14.0000
|
|
|
0.4561 -13.0000 14.0000
|
|
|
0.4427 -5.0000 14.0000
|
|
|
0.4427 -21.0000 12.0000
|
|
|
0.4364 -27.0000 13.0000
|
|
|
0.4282 -5.0000 12.0000
|
|
|
0.4282 -5.0000 12.0000
|
|
|
0.4282 -6.0000 13.0000
|
|
|
0.4282 -6.0000 12.0000
|
|
|
0.4282 -7.0000 13.0000
|
|
|
0.4282 -7.0000 13.0000
|
|
|
0.4282 -7.0000 12.0000
|
|
|
0.4282 -8.0000 12.0000
|
|
|
0.4282 -10.0000 13.0000
|
|
|
0.4282 -11.0000 13.0000
|
|
|
0.4240 -18.0000 14.0000
|
|
|
0.4039 -14.0000 14.0000
|
|
|
0.3964 -5.0000 12.0000
|
|
|
0.3964 -8.0000 12.0000
|
|
|
0.3964 -10.0000 12.0000
|
|
|
0.3964 -21.0000 11.0000
|
|
|
0.3919 -16.0000 12.0000
|
|
|
0.3788 -6.0000 9.0000
|
|
|
0.3788 -13.0000 9.0000
|
|
|
0.3788 -18.0000 12.0000
|
|
|
0.3788 -27.0000 11.0000
|
|
|
0.3788 -31.0000 9.0000
|
|
|
0.3788 -35.0000 9.0000
|
|
|
0.3788 -35.0000 8.0000
|
|
|
0.3714 -32.0000 13.0000
|
|
|
0.3646 -4.0000 11.0000
|
|
|
0.3646 -11.0000 11.0000
|
|
|
0.3646 -13.0000 11.0000
|
|
|
0.3646 -20.0000 11.0000
|
|
|
0.3646 -25.0000 10.0000
|
|
|
0.3646 -38.0000 9.0000
|
|
|
0.3596 -13.0000 12.0000
|
|
|
0.3596 -16.0000 10.0000
|
|
|
0.3596 -29.0000 11.0000
|
|
|
0.3328 -5.0000 10.0000
|
|
|
0.3328 -10.0000 10.0000
|
|
|
0.3328 -12.0000 10.0000
|
|
|
0.3328 -12.0000 10.0000
|
|
|
0.3328 -13.0000 10.0000
|
|
|
0.3328 -14.0000 10.0000
|
|
|
0.3328 -14.0000 10.0000
|
|
|
0.3328 -15.0000 10.0000
|
|
|
0.3328 -15.0000 7.0000
|
|
|
0.3328 -16.0000 10.0000
|
|
|
0.3328 -17.0000 10.0000
|
|
|
0.3328 -17.0000 10.0000
|
|
|
0.3328 -37.0000 10.0000
|
|
|
0.3328 -37.0000 10.0000
|
|
|
0.3273 -10.0000 10.0000
|
|
|
0.3273 -37.0000 10.0000
|
|
|
0.3057 -22.0000 10.0000
|
|
|
0.3057 -22.0000 10.0000
|
|
|
0.3057 -24.0000 9.0000
|
|
|
0.3010 -8.0000 7.0000
|
|
|
0.3010 -11.0000 7.0000
|
|
|
0.3010 -16.0000 9.0000
|
|
|
0.2948 -17.0000 10.0000
|
|
|
0.2948 -18.0000 9.0000
|
|
|
0.2827 -21.0000 9.0000
|
|
|
0.2827 -38.0000 9.0000
|
|
|
0.2827 -43.0000 7.0000
|
|
|
0.2819 -22.0000 9.0000
|
|
|
0.2726 -14.0000 9.0000
|
|
|
0.2692 -19.0000 6.0000
|
|
|
0.2692 -20.0000 8.0000
|
|
|
0.2692 -29.0000 6.0000
|
|
|
0.2622 -14.0000 9.0000
|
|
|
0.2622 -49.0000 8.0000
|
|
|
0.2505 -42.0000 6.0000
|
|
|
0.2373 -12.0000 6.0000
|
|
|
0.2373 -15.0000 6.0000
|
|
|
0.2373 -31.0000 6.0000
|
|
|
0.2293 -38.0000 7.0000
|
|
|
0.2182 -15.0000 7.0000
|
|
|
0.2128 -19.0000 7.0000
|
|
|
0.1961 -33.0000 6.0000
|
|
|
0.1734 -18.0000 5.0000
|
|
|