6,430 model-checking "https:" positions