Of course having 3000 species of spiders to choose they needed to play with the cool funnel-web spider. One of the most deadly spiders for humans. Wise choice.

Atracotoxins. Stuff extremely toxic for a particular kind of animal: primates, causing pulmonary and cerebral edema in humans.

Fortunately for mosquitoes, atracotoxins are relatively weak as insect killer. Big spiders rely in their fangs to subdue the prey. My congratulations for the people that so carefully designed this experiment.