Feature #6614
Updated by Evgeny Novikov about 6 years ago
Sometimes scheduling can be done more intellectually, speculatively, e.g. we can try to solve more tasks with initially lower memory limits and re-solve them one or more times (there can be an option) if they meet memory limit. Since it depends on specifics of verification tasks to be solved (e.g. testing verification tasks require very few resources while complicated rule specifications likely require the most of them) it is better to implement this scheduling within VTG.