Benchmark stuff
New SCLEAF scheduler with conjecture
New properties