Returned 79 matches
(100 formulae, 107 docs)
Lookup 737.440 ms, Re-ranking 211.487 ms
Found 17892885 tuple postings, 11102199 formulae, 4570862 documents
0.9069 -2.0000 15.0000
|
|
|
0.8108 -7.0000 13.0000
|
|
|
0.7494 -3.0000 13.0000
|
|
|
0.7494 -3.0000 13.0000
|
|
|
0.7494 -4.0000 11.0000
|
|
|
0.7494 -5.0000 11.0000
|
|
|
0.7494 -7.0000 13.0000
|
|
|
0.7494 -10.0000 13.0000
|
|
|
0.7241 -11.0000 10.0000
|
|
|
0.7107 -4.0000 13.0000
|
|
|
0.6878 -3.0000 10.0000
|
|
|
0.6878 -5.0000 12.0000
|
|
|
0.6878 -5.0000 10.0000
|
|
|
0.6878 -5.0000 10.0000
|
|
|
0.6878 -5.0000 9.0000
|
|
|
0.6878 -6.0000 12.0000
|
|
|
0.6878 -6.0000 11.0000
|
|
|
0.6878 -8.0000 12.0000
|
|
|
0.6878 -9.0000 9.0000
|
|
|
0.6878 -9.0000 9.0000
|
|
|
0.6630 -3.0000 8.0000
|
|
|
0.6630 -4.0000 8.0000
|
|
|
0.6630 -6.0000 9.0000
|
|
|
0.6630 -7.0000 9.0000
|
|
|
0.6630 -8.0000 9.0000
|
|
|
0.6482 -8.0000 12.0000
|
|
|
0.6261 -5.0000 12.0000
|
|
|
0.6261 -5.0000 10.0000
|
|
|
0.6261 -5.0000 10.0000
|
|
|
0.6261 -6.0000 9.0000
|
|
|
0.6261 -6.0000 9.0000
|
|
|
0.6261 -7.0000 9.0000
|
|
|
0.6261 -11.0000 10.0000
|
|
|
0.6018 -5.0000 10.0000
|
|
|
0.6018 -5.0000 7.0000
|
|
|
0.6018 -6.0000 9.0000
|
|
|
0.6018 -6.0000 9.0000
|
|
|
0.6018 -6.0000 7.0000
|
|
|
0.6018 -7.0000 9.0000
|
|
|
0.6018 -8.0000 9.0000
|
|
|
0.6018 -11.0000 10.0000
|
|
|
0.5751 -2.0000 7.0000
|
|
|
0.5751 -3.0000 7.0000
|
|
|
0.5751 -4.0000 9.0000
|
|
|
0.5751 -4.0000 8.0000
|
|
|
0.5751 -4.0000 7.0000
|
|
|
0.5751 -5.0000 7.0000
|
|
|
0.5751 -5.0000 7.0000
|
|
|
0.5751 -6.0000 8.0000
|
|
|
0.5751 -7.0000 8.0000
|
|
|
0.5751 -7.0000 8.0000
|
|
|
0.5641 -9.0000 10.0000
|
|
|
0.5405 -5.0000 9.0000
|
|
|
0.5405 -5.0000 7.0000
|
|
|
0.5405 -6.0000 8.0000
|
|
|
0.5405 -7.0000 7.0000
|
|
|
0.5405 -8.0000 9.0000
|
|
|
0.5405 -8.0000 7.0000
|
|
|
0.5405 -11.0000 9.0000
|
|
|
0.5220 -6.0000 9.0000
|
|
|
0.5143 -5.0000 8.0000
|
|
|
0.5143 -5.0000 7.0000
|
|
|
0.5143 -10.0000 8.0000
|
|
|
0.5018 -2.0000 10.0000
|
|
|
0.5018 -5.0000 8.0000
|
|
|
0.5018 -7.0000 8.0000
|
|
|
0.5018 -8.0000 9.0000
|
|
|
0.5018 -10.0000 10.0000
|
|
|
0.4791 -8.0000 9.0000
|
|
|
0.4580 -9.0000 10.0000
|
|
|
0.4174 -3.0000 7.0000
|
|
|
0.4174 -5.0000 6.0000
|
|
|
0.4174 -8.0000 7.0000
|
|
|
0.4174 -8.0000 5.0000
|
|
|
0.4174 -11.0000 7.0000
|
|
|
0.3925 -5.0000 6.0000
|
|
|
0.3925 -7.0000 7.0000
|
|
|
0.3925 -7.0000 7.0000
|
|
|
0.2290 -9.0000 5.0000
|
|
|