The competition consists of a single safety property track (SINGLE), a (single) liveness property track (LIVE), and a deep bound track (DEEP), but no multiple property track. The winner of the deep bound track will receive an award of $500 sponsored by Oski Technology.
The tracks are run in the same way as in the previous three years, except that we have to fall back to our compute cluster in Linz running Ubuntu 14.04.3 64 bit with Intel(R) Core(TM)2 Quad CPU Q9550 @ 2.83GHz CPUs. This is the same hardware as used in competitions before 2014. It is less powerful than the Aalto cluster used in 2014.
Thus the cluster we are going to use will have 8 GB main memory per node. Solvers will have full access to one node with four cores per node. This implies that a memory limit of 7GB will be enforced. The main change this year is to use a substantially larger time limit of 1 hour wall clock-time. We might increase it further to even 3 hours, depending on the number of submissions.