Fixed wrong value of critical constant and benchmark size