- in-partition edge reduction
- checkin instances
- node uncoloring untested