Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014