1. ToppFun
2. Not described
3. GO, miRTarBase, PITA
4. No
5. Hypergeometric test
6. Yes