# | Total | Dead | Live | Live | Status/ | Search | |||||||
Marks | Marks | Viewed | Viewed | Search | |||||||||
Docs | Images | Duration | |||||||||||
01 | 18 | 0 | 18 | 15 | 0:02 | pepper[fm] not dead[ld] |
Session started 7/28/2017 12:59:30 PM |
Session finished 7/28/2017 1:00:19 PM |
Total search duration 0 minutes 2 seconds |
Session duration 0 minutes 49 seconds |
Defaut NEAR limit=1ADJ limit=1 |