PEQcheck version used in final submission of PEQcheck paper