Ran weighted coverage/correctness experiments.