SPRAAK has an advanced scheduler that splits all tasks in a maximum number of subtasks as constrained by the multithreading options in the configuration file. Such splits will be identified as Task#1, Task#2, ...
Generated on Tue Mar 5 2019 10:28:46 for SPRAAK by 1.8.6