##############################################################################
##############################################################################
###
### Running command:
###
###   /bin/tar zcf survcomp_1.61.0.tar.gz survcomp
###
##############################################################################
##############################################################################