[submodule "benchmarks/SERGIO"]
	path = benchmarks/SERGIO
	url = https://github.com/marcfranquesa/SERGIO.git
