css3 fix for relative links being block by fixed menu bar
print info for optimization objectives
add option to show CDF instead of box plot
merge
value is never used in collChecksDone_ std::map, so switch to std::set