TEMP: Fixes
Benchmarks and instrumentation for the paper
Fix bug in classic DPOR