Fix so2sat test split configuration.
Fix so2sat test split configuration.

PiperOrigin-RevId: 340185302

google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research,google-research/google-research