commit correctness of running simulation