added batchjudge