{
int numberOfTasks = 0;
for(int states=minStateNumber;states < minStateNumber+rangeOfStateNumbers;states+=stateNumberIncrement)
for(int sample=0;sample<samplesPerFSM;++sample)
{
LearnerRunner learnerRunner = new LearnerRunner(states,sample,numberOfTasks,traceNum, config, converter);
learnerRunner.setOnlyUsePositives(false);
learnerRunner.setAlphabetMultiplier(alphabetMultiplierMax);
learnerRunner.setTraceLengthMultiplier(traceLengthMultiplierMax);
learnerRunner.setChunkLen(chunkSize);
learnerRunner.setSelectionID(selection);
learnerRunner.setPresetLearningParameters(presetForBestResults);
runner.submit(learnerRunner);
++numberOfTasks;
}
ProgressIndicator progress = new ProgressIndicator(new Date()+" evaluating "+numberOfTasks+" tasks for "+selection+" trace num: "+traceNum, numberOfTasks);
for(int count=0;count < numberOfTasks;++count)