Also rab solver is standardized with the game tree logger.