it's right there in the writeup, it costs more but finds more bugs.