I didn't enable capturing of quick statistics (the -t flag) for the time spent bitblasting when using AIGS.
I didn't enable capturing of quick statistics (the -t flag) for the time spent bitblasting when using AIGS.



kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp