Debugged reverse solver runner and stats