re-run experiments after SAT update