experiments.par_scal_test
Module summary
Creates a log for the scaling figure (simplified problem vs greedy sifts).
Compares runtimes for the simplified problem based heuristic vs greedy sifts over randomly generated align-BDD instances of different sizes (number of variables).
Outputs the runtime and objective for each heuristic and instance
into a csv
formatted file.
(In the implementation details below, click on class/function names for additional documentation and links to the source code.)
❖❖❖
❖❖❖
Implementation details