SYNTCOMP 2015 will officially be a part of CAV 2015 and SYNT 2015.

We have updated our page with the schedule, rules, FAQ, and submission information for the second installation of the competition.

We are looking forward to your submissions of benchmarks and tools for this year’s competition!