usestadium shape for state

32 jobs for 1357-sbgn-view-state-variables-are-not-stadium-shape in 12 minutes and 47 seconds (queued for 7 seconds)