#special components for internal testing only
vampire-1.0
yices-1.0.28
