benchmark name fix: they are all EA nogoods, not only EA-IO nogoods
debugging output fix: really print this message only once
print nogood if nogood printing is configured
added two atoms required to reproduce performance problems