added check synth to tutorial benchmarks