profiling tweaks, logfiles containing computed solutions and bdd
operation statistics