automated benchmarks of Manticore vs different technologies - View it on GitHub