Your picture shows that sat uses 12% of the time, and main uses 99% which is fine because it inherites all time usage. But main really only calls sat, like so:

main = do ~[rnastr] <- getArgs print (sat (str2inp rnastr (0::Int)))

str2inp is just a small data conversion routines for sat. So where does all the time go?

Probably in "print". Yes, the Prelude isn't compiled with -auto-all (or even -auto) by default. We'll probably start doing this when the better profile viewers come on-line. Cheers, Simon