control correctness demo experiments remotely