Returned 46 matches
(100 formulae, 70 docs)
Lookup 51.508 ms, Re-ranking 773.826 ms
Found 318576 tuple postings, 88356 formulae, 17669 documents
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
0.9649
|
|
|
0.9623
|
|
|
0.9618
|
|
|
0.9574
|
|
|
0.9545
|
|
|
0.9487
|
|
|
0.9402
|
|
|
0.9136
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7857
|
|
|
0.7529
|
|
|
0.7529
|
|
|
0.7489
|
|
|
0.7474
|
|
|
0.7474
|
|
|
0.7474
|
|
|
0.7458
|
|
|
0.6494
|
|
|
0.6415
|
|
|
0.5405
|
|
|
0.5405
|
|
|
0.5128
|
|
|
0.5063
|
|
|
0.4499
|
|
|