Looks like you didn't use the Crawljax formatter. Read the wiki on how to use that.