Experimental data of Sylvan (TACAS 2015 paper)