added crafty benchmark