For details about these datasets including origin and format, please read http://overproof.projectcomputing.com/evaluation