Collection of Verification Tasks (MOVED, please follow the link) - View it on GitHub