When I monitored the "Bdd::ExistAbstract" Function, I found that, as the number of workers increases, so does the computational overhead of the "sylvan_exist(cube)" function, as well as sylvan_and_exist(sylvan_true, cube).
Logically, I think it should be that the more workers there are, the faster the function runs.
Hi, I find this issue again...
When I monitored the "Bdd::ExistAbstract" Function, I found that, as the number of workers increases, so does the computational overhead of the "sylvan_exist(cube)" function, as well as sylvan_and_exist(sylvan_true, cube).
Logically, I think it should be that the more workers there are, the faster the function runs.