experiment shell 9 10
Merge branch 'ecrts15-v1' of https://github.com/pennpanda/ConstraintSolver into ecrts15-v1