added comments on why no threading and reformatted comments
do not spam benchmarking for counters
adjusted benchmark width for counters and times

now formatting is nice
up to 9999 seconds (was: 999999) and
up to 99999999 counts (was: 999999 which was insufficient)
counting only once with the amount of nogoods
only copying interpretation if necessary
performance improvement for checking if interpretation is completely known for eatom evaluation

usage of bm::any_sub removes the need for a temporary bvector instance
one more benchmarking line
benchmarking only the non-mutex-waiting part of reportModel