Improved output so that runtime is preserved for later§
Improved input method
No. processors can be adjusted via command line
First try in optimizing isomorphism
Improved isomorphism checking
Purified output
Minor improvements
Most important: A nice splash screen
Began improving dagviewer
Computing adjusted probabilities
Safety commit
Dagviewer deals with adjusted runtimes for 3 processors