Performance degradation on some examples (version with and without BDD order fixing)
5nizza opened this issue · comments
The commit 3ce0f53 removed optimisation "fix local orders that appear often together".
The Y-axis shows time of the no-fix-ord version, and X-axis shows the time of the version fix-ord.
As you can see, there are examples where the performance is affected by almost 2x.
The data file is attached as well.
data.csv
Think again whether it is acceptable, and restore if not.
More data: syntcomp24 vs syntcomp21 version: comparing winning reg calculation times reveals that version 24 is slower (circuit sizes are better).
cactus_21_vs_24_win_time.csv
sdf21.csv
sdf24.csv