Benchmark changes from gobby
Merge branch 'master' of github.com:jonasfj/WKTool
Changes from gobby
Utilities and hacks used for benchmarking the implementaiton