For evaluation purpose (see ALLauncher)