We have received initial submissions for SYNTCOMP 2016 over the weekend and have made the following update to the schedule:
- Tools for the AIGER track are still due on May 31. If you have not submitted an initial version, but still want to compete, contact me.
- Tools for the TLSF track are now due on June 11. But again, if you have not submitted an initial version, please contact me *now* (since the schedule will be pretty tight after the extended deadline).