/contrib/competitions/
../
casc
smt-comp
sygus-comp