Picotrav stops without error on EPFL hyp circuit (depth)
SSoelvsten opened this issue · comments
The EPFL hyp circuit optimised for depth seems to just stop running after some time with a non-error exit code.
Benchmarking Suite for BDD packages
SSoelvsten opened this issue · comments
The EPFL hyp circuit optimised for depth seems to just stop running after some time with a non-error exit code.