add execution time of sage/enum-x.sage