sumExceedsDeadlineConstraint.txt
Checks if variables must be equal but their sum exceeds the deadline constraint

binaryNotSimultaneous.txt
Checks if binary not simultaneous works...