A repository used at the MPI-SWS during the VSTTE Competition 2013