Returned 94 matches
(100 formulae, 99 docs)
Lookup 22285.900 ms, Re-ranking 5553.149 ms
Found 116531791 tuple postings, 11319459 formulae, 4586825 documents
0.7459 -17.0000 14.0000
|
|
|
0.7293 -16.0000 21.0000
|
|
|
0.6338 -29.0000 18.0000
|
|
|
0.5702 -12.0000 14.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.5065 -28.0000 16.0000
|
|
|
0.4561 -10.0000 15.0000
|
|
|
0.4561 -13.0000 14.0000
|
|
|
0.4427 -5.0000 14.0000
|
|
|
0.4427 -21.0000 12.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 -6.0000 9.0000
|
|
|
0.4282 -6.0000 9.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 -8.0000 11.0000
|
|
|
0.4282 -8.0000 10.0000
|
|
|
0.4282 -10.0000 13.0000
|
|
|
0.4282 -11.0000 13.0000
|
|
|
0.4240 -18.0000 14.0000
|
|
|
0.4108 -6.0000 10.0000
|
|
|
0.4108 -7.0000 11.0000
|
|
|
0.4108 -37.0000 10.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.3788 -6.0000 9.0000
|
|
|
0.3788 -13.0000 9.0000
|
|
|
0.3788 -18.0000 12.0000
|
|
|
0.3788 -31.0000 9.0000
|
|
|
0.3788 -35.0000 9.0000
|
|
|
0.3714 -22.0000 11.0000
|
|
|
0.3714 -32.0000 13.0000
|
|
|
0.3646 -4.0000 11.0000
|
|
|
0.3646 -4.0000 10.0000
|
|
|
0.3646 -5.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 -8.0000 12.0000
|
|
|
0.3596 -13.0000 12.0000
|
|
|
0.3328 -5.0000 10.0000
|
|
|
0.3328 -10.0000 10.0000
|
|
|
0.3328 -10.0000 9.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 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 -25.0000 9.0000
|
|
|
0.3273 -37.0000 10.0000
|
|
|
0.3273 -43.0000 10.0000
|
|
|
0.3148 -5.0000 10.0000
|
|
|
0.3148 -6.0000 10.0000
|
|
|
0.3057 -22.0000 10.0000
|
|
|
0.3057 -22.0000 10.0000
|
|
|
0.3010 -8.0000 7.0000
|
|
|
0.3010 -11.0000 7.0000
|
|
|
0.3010 -15.0000 9.0000
|
|
|
0.3010 -16.0000 9.0000
|
|
|
0.3010 -37.0000 6.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.2726 -14.0000 9.0000
|
|
|
0.2622 -14.0000 9.0000
|
|
|
0.2373 -12.0000 6.0000
|
|
|
0.2373 -14.0000 6.0000
|
|
|
0.2373 -31.0000 6.0000
|
|
|
0.2182 -15.0000 7.0000
|
|
|